mathlib
55c30c69 - feat(topology/basic): interior of finite intersection is intersection of interiors (#9508)

Commit

4 years ago

feat(topology/basic): interior of finite intersection is intersection of interiors (#9508) And likewise for finite unions and closures.

Author

ocfnash

Parents