# Commit 2019-03-03 19:05 201413b9

View on Github →chore(topology): Splits topology.basic and topology.continuity (#785) Also, the most basic aspects of continuity are now in topology.basic

Mathlib v3 is deprecated. Go to Mathlib v4

chore(topology): Splits topology.basic and topology.continuity (#785) Also, the most basic aspects of continuity are now in topology.basic