Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-12 08:46 36bafae8

View on Github →

feat(topology/bornology/basic): review (#13374)

  • add lemmas;
  • upgrade some implications to iffs.

Estimated changes