theorem Set.mem_empty_iff_false._simp_1
theorem Set.mem_empty_iff_false._simp_1
: ∀ {α : Type u} (x : α), Membership.mem EmptyCollection.emptyCollection x = False