Theorem NonUnitalSubring.sInf_toSubsemigroup

Modification history