Theorem inf_right_idem

Modification history

2024-03-07 15:09

Mathlib/Order/Lattice.lean

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

Modified inf_right_idem View on Github →

2024-02-28 10:54

Mathlib/Order/Lattice.lean

chore(Order/Lattice): Resolve porting notes (#11034) …

Modified inf_right_idem View on Github →

2022-11-25 17:46

Mathlib/Order/Lattice.lean

feat: port Order.Lattice (#642) …

Added inf_right_idem View on Github →