Theorem: listEq_to_disEq (Pdl/Discon.lean)

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