feat(topology/basic): interior of finite intersection is intersection of interiors (#9508)
feat(topology/basic): interior of finite intersection is intersection of interiors (#9508)

And likewise for finite unions and closures.







leanprover-community/mathlib,leanprover-community/mathlib