Theorem Submodule.dualAnnihilator_dualCoannihilator_dualAnnihilator

Modification history