Type of suggested lemma in Bin-isomorphism compiles#1083
Open
negatratoron wants to merge 1 commit intoplfa:devfrom
Open
Type of suggested lemma in Bin-isomorphism compiles#1083negatratoron wants to merge 1 commit intoplfa:devfrom
negatratoron wants to merge 1 commit intoplfa:devfrom
Commits
Commits on Jan 23, 2025
- committed
Jefferson Carpenter