Def NonUnitalSubsemiring.ofClass

Modification history