learning7专题

Conformal lec learning7: abort points

在conformal lec 检查等价性的过程中,遇到abort points 是比较头疼的,可以通过以下方式避免