Theorem discreteTopology_iUnion_fintype

Modification history

2025-11-28 17:46
Mathlib/Topology/DiscreteSubset.lean
chore: remove a few unused Fintype assumptions in statements (#32151)
Deleted discreteTopology_iUnion_fintypeView on Github →
2025-10-14 22:19
Mathlib/Topology/DiscreteSubset.lean
feat(Topology/Algebra): discrete iff finite index subgroup discrete (#29743) …
Added discreteTopology_iUnion_fintypeView on Github →