Theorem TopologicalSpace.IsSeparable.prod

Modification history

2023-09-14 09:08
Mathlib/Topology/Bases.lean
feat: the linear span of a separable set is separable (#7115)
Added TopologicalSpace.IsSeparable.prodView on Github →