Theorem Submodule.sup_dualAnnihilator_le_inf

Modification history