Theorem: listEq_to_conEq (Pdl/Discon.lean)

State before:
l1 l2 : List Formula
⊢ l1 = l2 → Con l1 = Con l2
Tactic:
aesop
State after:
no goals