Theorem Submodule.isCompl_iff_disjoint

Modification history