Theorem Maximal.le

Modification history

2026-04-08 17:43

Mathlib/Order/Minimal.lean

chore(Order/Minimal): use `to_dual` (#37732)

Deleted Maximal.le View on Github →

2026-01-27 18:36

Mathlib/Order/Minimal.lean

feat(Order/Minimal): Minimal is equivalent to IsLeast if LE is total (#34388) …

Added Maximal.le View on Github →