Theorem subsingleton_iff_indiscreteTopology

Modification history

2026-09-02 00:40
Mathlib/Topology/Separation/Basic.lean
chore(Topology/Separation): generalize theorems on `IndiscreteTopology` (#42317) …
Added subsingleton_iff_indiscreteTopologyView on Github →