Theorem Submodule.starProjection_coe_eq_isCompl_projection

Modification history