Theorem Subsemigroup.coe_supₛ_of_directed_on

Modification history