mathlib3

10cb0d12 - feat(topology/constructions): distributivity of products over sums (#1059)

feat(topology/constructions): distributivity of products over sums (#1059) * feat(topology/constructions): distributivity of products over sums * Update src/topology/maps.lean Co-Authored-By: sgouezel <sebastien.gouezel@univ-rennes1.fr> * Reverse direction of sigma_prod_distrib