Def Fin.snocCases

Modification history

2026-02-27 14:06

Mathlib/Data/Fin/Tuple/Basic.lean

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

Modified Fin.snocCases View on Github →

2023-11-09 12:45

Mathlib/Data/Fin/Tuple/Basic.lean

chore: add missing API around `Fin.snoc` (#8231) …

Added Fin.snocCases View on Github →