Equal_m (core_kernel.Core_kernel__.Set.Equal