Theorem LinearEquiv.isotypicComponent_eq

Modification history