Commit 2026-02-27 14:06 b254bb3d

View on Github →

chore(Data/Fin/Tuple/Basic): rename recursor arguments (#35703)

Estimated changes

modified def Fin.consCases
modified theorem Fin.consCases_cons
modified def Fin.snocCases