Theorem Submodule.starProjection_inner_eq_zero

Modification history