Theorem Submodule.orthogonalProjection_map_apply

Modification history