Theorem DiscreteTopology.secondCountableTopology_of_encodable

Modification history

2025-01-06 10:15
Mathlib/Topology/Instances/Discrete.lean
chore: remove >9 month old deprecations (#20505)
Deleted DiscreteTopology.secondCountableTopology_of_encodableView on Github →
2024-03-14 06:52
Mathlib/Topology/Instances/Discrete.lean
chore(Topology/Instances/Discrete): merge 2 instances (#11296) …
Added DiscreteTopology.secondCountableTopology_of_encodableView on Github →