Def SemiRing.assoc_ring_hom

Modification history