Mathlib v3 is deprecated. Go to Mathlib v4

Theorem sup_left_idem

Modification history

2020-05-21 15:42

src/order/lattice.lean

feat(order/lattice): sup_left_idem and similar (#2768)

Added sup_left_idem View on Github →