Theorem Submodule.le_dualCoannihilator_dualAnnihilator

Modification history