Theorem Subspace.coe_continuous_linearProjOfClosedCompl'

Modification history