Theorem Fin.mod_eq_of_lt

Modification history

2023-01-12 19:47

Mathlib/Data/Fin/Basic.lean

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

Deleted Fin.mod_eq_of_lt View on Github →

2021-11-19 07:29

Mathlib/Data/Fin/Basic.lean

feat(Data/UInt, Data/Fin/Basic) declarations (#90) …

Added Fin.mod_eq_of_lt View on Github →