Theorem CommRingCat.forgetToRingCat_map_hom

Modification history