Theorem Submodule.le_dualAnnihilator_dualCoannihilator

Modification history