Theorem Submodule.orthogonalProjection_coe_linearMap_eq_linearProj

Modification history