Theorem Submodule.comap_fst

Modification history