Theorem LinearMap.isSymmetricProjection_iff_eq_coe_starProjection

Modification history