Theorem min_def

Modification history

2024-08-23 10:19

Mathlib/Init/Order/LinearOrder.lean

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

Modified min_def View on Github →

2023-07-15 14:27

Mathlib/Init/Algebra/Functions.lean

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

Modified min_def View on Github →

2022-10-27 14:32

Mathlib/Init/Algebra/Functions.lean

chore: update lean + std4 10-27 (#510) …

Added min_def View on Github →