Theorem inf_sup_left

Modification history

2024-03-07 15:09

Mathlib/Order/Lattice.lean

chore(Order): Make more arguments explicit (#11033) …

Modified inf_sup_left View on Github →

2022-11-25 17:46

Mathlib/Order/Lattice.lean

feat: port Order.Lattice (#642) …

Added inf_sup_left View on Github →