Theorem Submodule.comap_op_one

Modification history