Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-08-08 10:16 1675dc40

View on Github →

chore(order/complete_lattice): use order_dual (#3724)

Estimated changes

modified theorem infi_exists
modified theorem infi_infi_eq_left
modified theorem infi_infi_eq_right
modified theorem infi_insert
modified theorem supr_exists
modified theorem supr_insert
modified theorem supr_supr_eq_left
modified theorem supr_supr_eq_right