Theorem Submodule.span_neg

Modification history