Theorem LinearEquiv.isIsotypicOfType_iff

Modification history