Theorem WellFounded.not_lt_min

Modification history

2026-03-15 15:56

Mathlib/Order/WellFounded.lean

chore(WellFounded): drop unneeded `Set.Nonempty` assumptions (#35933) …

Modified WellFounded.not_lt_min View on Github →

2022-12-13 21:24

Mathlib/Order/WellFounded.lean

feat port: Order.WellFounded (#970) …

Added WellFounded.not_lt_min View on Github →