Theorem Fin.insertNthEquiv_zero

Modification history

2024-11-18 12:21
Mathlib/Data/Fin/Tuple/Basic.lean
chore: move `Fin` material earlier (#19186) …
Modified Fin.insertNthEquiv_zeroView on Github →
2024-08-27 16:57
Mathlib/Logic/Equiv/Fin.lean
chore(Logic/Equiv/Fin): Tidy tuple equivalences (#14665) …
Added Fin.insertNthEquiv_zeroView on Github →