Theorem Submodule.orthogonalProjection_orthogonal_apply_eq_zero

Modification history