Theorem NonUnitalSubring.mk'_toSubsemigroup

Modification history