Theorem Submodule.isOrtho_iff_inner_eq

Modification history