Theorem isIsotypic_iff_isFullyInvariant_imp_bot_or_top

Modification history