Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-07-31 19:09 37ab4263

View on Github →

feat(complete_lattice): put supr_congr and infi_congr back (#3646)

Estimated changes

added theorem infi_congr
added theorem supr_congr