Theorem Submodule.mapQ_eq_factor

Modification history