Theorem Submodule.dualAnnihilator_iSup_eq

Modification history