[STATEMENT]
lemma consistent_swapSyms[simp]:
"consistent t \<Longrightarrow> consistent (swapSyms t a b)"
[PROOF STATE]
proof (prove)
goal (1 subgoal):
 1. consistent t \<Longrightarrow> consistent (swapSyms t a b)
[PROOF STEP]
by (simp add: swapSyms_def)