Theorem Subsemigroup.mem_supₛ_of_directed_on

Modification history