Theorem Submodule.coe_continuous_linearProjOfClosedCompl

Modification history