Mathlib v3 is deprecated. Go to Mathlib v4

Theorem continuous_def

Modification history

2020-11-18 21:10
src/topology/basic.lean
refactor(*): make continuous a structure (#5035) …
Added continuous_defView on Github →