Theorem MaximalFor.anti

Modification history

2026-04-08 17:43

Mathlib/Order/Minimal.lean

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

Deleted MaximalFor.anti View on Github →

2026-02-13 15:00

Mathlib/Order/Minimal.lean

feat(Order/Minimal): `MinimalFor`/`MaximalFor` are antitone (#34666)

Added MaximalFor.anti View on Github →