Def Subsemiring.ofClass

Modification history