Theorem CommRingCat.comp_eq_ring_hom_comp

Modification history