Def SubsemiringClass.subtype

Modification history