Theorem NonUnitalSubring.toSubsemigroup_strictMono

Modification history