Theorem Submodule.dualCoannihilator_sup_eq

Modification history