Def NonUnitalStarSubsemiring.ofClass

Modification history