Theorem: Partial.not_mem_empty (ReactorModel/Extensions.lean)

State before:
α : Type u_1
β : Type u_2
a : α
⊢ a ∉ ∅
Tactic:
simp [mem_def, empty_ids]
State after:
no goals