Theorem LinearMap.isSymmetricProjection_iff_eq_coe_starProjection_range

Modification history