Theorem PairReduction.finset_logSizeBallSeq_subset_logSizeBallSeq_init

Modification history

2025-10-16 08:57
Mathlib/Topology/EMetricSpace/PairReduction.lean
feat(Topology): Add PairReduction.lean (#26243) …
Added PairReduction.finset_logSizeBallSeq_subset_logSizeBallSeq_initView on Github →