Theorem NonUnitalSubsemiring.srange_subtype

Modification history