Theorem Submodule.dualAnnihilator_gc

Modification history