Theorem Submodule.neg_bot

Modification history