Theorem Submodule.comap_map_mkQ

Modification history