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
binghe committed Jan 1, 2025
1 parent bb77ef0 commit e903982
Show file tree
Hide file tree
Showing 3 changed files with 368 additions and 168 deletions.
Loading

0 comments on commit e903982

Please sign in to comment.