Theorem maximalFor_id

Modification history

2026-04-08 17:43

Mathlib/Order/Minimal.lean

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

Deleted maximalFor_id View on Github →

2025-05-14 10:52

Mathlib/Order/Minimal.lean

refactor: spell results using `Minimal`/`MinimalFor` (#23487) …

Added maximalFor_id View on Github →