Theorem: project.IsHeap_empty (Project/Main.lean)

State before:
α : Type u
⊢ IsHeap empty
Tactic:
constructor
State after:
no goals