Theorem Submodule.quotEquivOfEq_mk

Modification history