Theorem Submodule.dualAnnihilator_sup_eq

Modification history