Theorem Fin.snocCases_snoc

Modification history

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