Theorem Submodule.annihilator_bot

Modification history