mathlib3

c3aba261 - feat(topology/uniform_space/pi): indexed products of uniform spaces (#845)

feat(topology/uniform_space/pi): indexed products of uniform spaces (#845) * feat(topology/uniform_space/pi): indexed products of uniform spaces * fix(topology/uniform_space/pi): defeq topology * fix(src/topology/uniform_space/pi): typo Co-Authored-By: PatrickMassot <patrickmassot@free.fr>