Theorem: vocOfNeg (Bml/Vocabulary.lean)

State before:
ϕ : Formula
⊢ vocabOfFormula (~ϕ) = vocabOfFormula ϕ
Tactic:
constructor
State after:
no goals