Commit 2024-03-14 06:52 69adfea7
View on Github →chore(Topology/Instances/Discrete): merge 2 instances (#11296)
Prove DiscreteTopology.secondCountableTopology_of_countable directly,
deprecate DiscreteTopology.secondCountableTopology_of_encodable.