Theorem Submodule.neg_le

Modification history