Theorem Submonoid.centralizer_toSubsemigroup

Modification history