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

State before:
α : Type u
le : α → α → Bool
⊢ IsMinHeap le empty
Tactic:
constructor
State after:
no goals