Theorem Submodule.coe_continuous_linearProjOfClosedCompl'

Modification history