Mathlib v3 is deprecated. Go to Mathlib v4

Theorem prod_generate_from_generate_from_eq

Modification history

2021-01-27 05:12
src/topology/constructions.lean
chore(*): split long lines (#5908)
Modified prod_generate_from_generate_from_eqView on Github →
2019-09-10 09:32
src/topology/constructions.lean
chore(topology): sanity_check pass (#1416) …
Modified prod_generate_from_generate_from_eqView on Github →
2017-09-28 18:08
topology/continuity.lean
feat(topology): add Lebesgue measure
Added prod_generate_from_generate_from_eqView on Github →