Theorem orthogonalProjection_unit_singleton

Modification history