Theorem CommRingCat.ringHom_comp_eq_comp

Modification history