Theorem Fin.eq_insertNth_iff

Modification history

2024-07-11 20:47

Mathlib/Data/Fin/Tuple/Basic.lean

chore(Data/Fin/Tuple/Basic): Fill in the API hole (partly) (#13568) …

Modified Fin.eq_insertNth_iff View on Github →

2023-01-17 13:37

Mathlib/Data/Fin/Tuple/Basic.lean

feat: port Data.Fin.Tuple.Basic (#1516)

Added Fin.eq_insertNth_iff View on Github →