Theorem Submodule.comap_unop_mul

Modification history