Theorem Submodule.IsPrimary.ne_top

Modification history