Theorem Submodule.disjoint_def

Modification history