Theorem Submodule.disjoint_def'

Modification history