Theorem LinearEquiv.isIsotypicOfType_iff_type

Modification history