Def Subsemiring.prod

Modification history