Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-05-15 11:58 a74298d8

View on Github →

chore(order/lattice): reflow, golf (#14151)

Estimated changes

modified theorem inf_le_inf_left
modified theorem inf_le_inf_right
modified theorem inf_left_comm
modified theorem inf_left_idem
modified theorem inf_left_right_swap
modified theorem inf_right_comm
modified theorem inf_right_idem
modified theorem le_of_inf_eq