Def RingEquiv.nonUnitalSubsemiringMap

Modification history