Theorem Submodule.inner_starProjection_left_eq_right

Modification history