Theorem zero_lt_of_lt

Modification history

2023-01-12 19:47

Mathlib/Data/Fin/Basic.lean

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

Deleted zero_lt_of_lt View on Github →

2021-11-19 07:29

Mathlib/Data/Fin/Basic.lean

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

Added zero_lt_of_lt View on Github →