Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-14 11:12 3676f11d

View on Github →

chore(order/complete_lattice): General cleanup (#13323)

Estimated changes

modified theorem Inf_eq_bot
modified theorem Inf_eq_top
modified theorem Inf_le_iff
modified theorem Sup_eq_bot
modified theorem Sup_eq_top
modified theorem Sup_le
modified theorem Sup_le_iff
modified theorem inf_infi
modified theorem infi_const
modified theorem infi_eq_bot
modified theorem infi_inf
modified theorem infi_infi_eq_left
modified theorem infi_infi_eq_right
modified theorem infi_le_iff
modified theorem infi_sigma
modified theorem infi_subtype
modified theorem le_Inf
modified theorem le_Inf_iff
modified theorem le_infi_comp
modified theorem monotone_Inf_of_monotone
modified theorem monotone_Sup_of_monotone
modified theorem supr_comp_le
modified theorem supr_const
modified theorem supr_eq_top
modified theorem supr_sigma
modified theorem supr_supr_eq_left
modified theorem supr_supr_eq_right
modified theorem supr_union