Commit 2024-02-09 16:54 1b99589c
View on Github →feat : Add metric Lindelöf = second countable (#10376)
Add SecondCountableTopology.from_pseudometric_Lindelof, which is an instance that creates a second countable topology from a pseudometric Lindelof space. This allows one to synthesize that a pseudometric Lindelof space is a SeparableSpace.