Theorem Submodule.Quotient.quot_mk_eq_mk

Modification history