Theorem Fin.lift_fun_iff_succ

Modification history

2023-06-09 00:56

Mathlib/Data/Fin/Basic.lean

chore: fix `lift_fun` -> `liftFun` in lemma names (#4873)

Deleted Fin.lift_fun_iff_succ View on Github →

2023-01-12 19:47

Mathlib/Data/Fin/Basic.lean

feat: port Data.Fin.Basic (#1084) …

Added Fin.lift_fun_iff_succ View on Github →