Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-05-21 15:42 d532eb60

View on Github →

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

Estimated changes

added theorem inf_left_idem
added theorem inf_right_idem
added theorem sup_left_idem
added theorem sup_right_idem