Theorem: disconsingle (Bml/bigConDis.lean)

State before:
f : Formula
⊢ discon [[f]] = f
Tactic:
rfl
State after:
no goals