Theorem Submodule.starProjection_orthogonal_apply_eq_zero

Modification history