feat(analysis/topology): add continuity rules for supr, Sup, and pi spaces
feat(analysis/topology): add continuity rules for supr, Sup, and pi spaces

leanprover-community/mathlib,leanprover-community/mathlib