Theorem NonUnitalSubsemiringClass.coeSubtype

Modification history