Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-08-22 15:13 65ceb009

View on Github →

fix(topology): simplify proof of Heine-Cantor (#3910)

Estimated changes

Modified src/order/complete_lattice.lean

added theorem bsupr_le_supr

added theorem infi_le_binfi

Modified src/topology/uniform_space/compact_separated.lean