Theorem Subspace.coe_continuous_linearProjOfClosedCompl

Modification history