basic): review (#13374)

Commit

3 years ago

feat(topology/bornology/basic): review (#13374) * add lemmas; * upgrade some implications to `iff`s.

Author

urkud

Parents