Mathlib v3 is deprecated. Go to Mathlib v4

Structure continuous

Modification history

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