Def PairReduction.pairSet

Modification history

2025-10-16 08:57

Mathlib/Topology/EMetricSpace/PairReduction.lean

feat(Topology): Add PairReduction.lean (#26243) …

Added PairReduction.pairSet View on Github →