Commit 2023-07-04 13:48 409bee4e

View on Github →

feat: add TopologicalSpace.IsTopologicalBasis.inseparable_iff (#5636) Also add TopologicalSpace.IsTopologicalBasis.eq_iff for a T₀ space.

Estimated changes