Theorem Subsemigroup.mem_infₛ

Modification history