Theorem CommRingCat.hom_id

Modification history