Theorem: LoVe.Set.compreh_False (LoVe/LoVelib.lean)

State before:
α : Type
⊢ {a | False} = ∅
Tactic:
rfl
State after:
no goals