Theorem: conempty (Bml/bigConDis.lean)

State before:
⊢ bigCon ∅ = ⊤
Tactic:
rfl
State after:
no goals