Theorem infClosed_pi

Modification history

2026-06-03 10:30

Mathlib/Order/SupClosed.lean

chore: use `to_dual` for `SupClosed`/`InfClosed` (#40175) …

Deleted infClosed_pi View on Github →

2023-10-26 10:03

Mathlib/Order/SupClosed.lean

feat: Lattice closedness (#7548) …

Added infClosed_pi View on Github →