Def SemiRing.of_hom

Modification history