Theorem Submodule.dualRestrict_ker_eq_dualAnnihilator

Modification history