Theorem Fin.removeNth_update_succAbove

Modification history

2025-05-12 20:08
Mathlib/Data/Fin/Tuple/Basic.lean
feat(*Multilinear): add `curryMid` etc (#24798)
Added Fin.removeNth_update_succAboveView on Github →