Theorem Submodule.coe_linearProjOfIsCompl_apply

Modification history