mathlib3
feat(topology/constructions): distributivity of products over sums
#1059
Merged
Merged