Theorem Submodule.dualCoannihilator_dualAnnihilator_dualCoannihilator

Modification history