Theorem LinearMap.le_comap_isotypicComponent

Modification history