Def Fin.insertNthEquiv

Modification history

2024-11-18 12:21

Mathlib/Data/Fin/Tuple/Basic.lean

chore: move `Fin` material earlier (#19186) …

Modified Fin.insertNthEquiv View on Github →

2024-08-27 16:57

Mathlib/Logic/Equiv/Fin.lean

chore(Logic/Equiv/Fin): Tidy tuple equivalences (#14665) …

Added Fin.insertNthEquiv View on Github →