chore(Logic/Equiv/Fin/Rotate): generalize from Fin (n + 1) to Fin n#37338
Open
vihdzp wants to merge 2 commits intoleanprover-community:masterfrom
Open
chore(Logic/Equiv/Fin/Rotate): generalize from Fin (n + 1) to Fin n#37338vihdzp wants to merge 2 commits intoleanprover-community:masterfrom
Fin (n + 1) to Fin n#37338vihdzp wants to merge 2 commits intoleanprover-community:masterfrom
Commits
Commits on Mar 29, 2026
- committed
- committed
