Type of suggested lemma in Bin-isomorphism compiles#1083

Open

negatratoron wants to merge 1 commit intoplfa:devfrom negatratoron:fix-bin-isomorphism-exercise-type

+1

Commits on Jan 23, 2025

Open existential record so that short names can be used
Jefferson Carpenter
committed