Registry · Proposition
IV.P84
tau-effective
formalized
IV.P84 — Non-emptiness of $\mathrm{Adm_s{[n
The set Adm_s[n] of strongly admissible endomorphisms is nonempty for every n >= 3, since the identity endomorphism on the eta-sector trivially satisfies all three admissibility conditions.