Theorem Submodule.comap_unop_one

Modification history