Theorem Submodule.neg_inf

Modification history