Theorem LinearEquiv.isIsotypic_iff

Modification history