Theorem NonUnitalSubring.mem_toSubsemigroup

Modification history