Skip to content

Commit

Permalink
Extract "Boehm_construction" from the proof of subtree_equiv_lemma
Browse files Browse the repository at this point in the history
  • Loading branch information
@binghe @mn200
binghe authored and mn200 committed Jan 6, 2025
1 parent e0c9e4e commit 2f4f33a
Show file tree
Hide file tree
Showing 3 changed files with 368 additions and 168 deletions.
Loading

0 comments on commit 2f4f33a

Please sign in to comment.