Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-07-23 01:10 4a918fbb

View on Github →

chore(order/complete_lattice): add supr/infi_of_empty(') (#3519)

Estimated changes

added theorem infi_of_empty'
added theorem infi_of_empty
added theorem supr_of_empty'
added theorem supr_of_empty