feat(topology/algebra/ring): pi instances (#8686)
feat(topology/algebra/ring): pi instances (#8686)

Add instances `pi.topological_ring` and `pi.topological_semiring`.





leanprover-community/mathlib,leanprover-community/mathlib