Theorem lt_min

Modification history

2024-08-23 10:19

Mathlib/Init/Order/LinearOrder.lean

chore(Init/Order): Rework files (#15228) …

Modified lt_min View on Github →

2023-07-15 14:27

Mathlib/Init/Algebra/Functions.lean

chore: re-port Init.Algebra.Functions (#5924) …

Modified lt_min View on Github →

2021-08-25 10:57

Mathlib/Init/Algebra/Functions.lean

port init/algebra/functions.lean (#45)

Added lt_min View on Github →