Theorem Minimal.le_of_le

Modification history

2024-11-26 10:41

Mathlib/Order/Defs.lean

chore: split Order.Defs (#19498)

Modified Minimal.le_of_le View on Github →

2024-10-12 14:24

Mathlib/Order/Defs.lean

chore(Order): move more defs to Defs (#17677)

Modified Minimal.le_of_le View on Github →

2024-08-05 16:52

Mathlib/Order/Minimal.lean

refactor(Order/Minimal): change minimality to a predicate (#14721) …

Added Minimal.le_of_le View on Github →