Def StarSubsemiring.ofClass

Modification history