Def Fin.snocCases

Modification history

2023-11-09 12:45
Mathlib/Data/Fin/Tuple/Basic.lean
chore: add missing API around `Fin.snoc` (#8231) …
Added Fin.snocCasesView on Github →