Theorem NonUnitalSubring.coe_toSubsemigroup

Modification history