Theorem sup_right_idem

Modification history

2024-03-07 15:09

Mathlib/Order/Lattice.lean

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

Modified sup_right_idem View on Github →

2022-11-25 17:46

Mathlib/Order/Lattice.lean

feat: port Order.Lattice (#642) …

Added sup_right_idem View on Github →