Theorem Submodule.quotEquivOfEqBot_apply_mk

Modification history