Theorem smul_orthogonalProjection_singleton

Modification history