Mathlib v3 is deprecated. Go to Mathlib v4

Theorem induced_const

Modification history

2021-03-26 08:06
src/topology/order.lean
feat(topology/vector_bundle): definition of topological vector bundle (#4658) …
Added induced_constView on Github →