[STATEMENT]
lemma equiv_cp_cong[simp]: "Q \<triangleq> Q' \<Longrightarrow> cp Q \<triangleq> cp Q'"
[PROOF STATE]
proof (prove)
goal (1 subgoal):
 1. Q \<triangleq> Q' \<Longrightarrow> cp Q \<triangleq> cp Q'
[PROOF STEP]
by (auto simp: equiv_def)