Mathlib v3 is deprecated. Go to Mathlib v4

Theorem continuous_of_const

Modification history

2021-10-17 03:34
src/topology/basic.lean
chore(topology/instances/ennreal): golf a proof (#9767)
Added continuous_of_constView on Github →