Theorem discreteTopology_iUnion_finite

Modification history

2025-11-28 17:46

Mathlib/Topology/DiscreteSubset.lean

chore: remove a few unused Fintype assumptions in statements (#32151)

Added discreteTopology_iUnion_finite View on Github →