Theorem Submodule.le_dualAnnihilator_iff_le_dualCoannihilator

Modification history