Mathlib v3 is deprecated. Go to Mathlib v4

Theorem continuous.le_induced

Modification history

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