Open AuthurWhywait opened 1 year ago
https://authurwhywait.github.io/blog/2020/08/03/tree_and_equivalence_problem/
how to use tree to describe equivalence
https://authurwhywait.github.io/blog/2020/08/03/tree_and_equivalence_problem/
how to use tree to describe equivalence