TransferInstance

📁 Source: Mathlib/Topology/MetricSpace/TransferInstance.lean

Statistics

Metric	Count
Definitions dist, metricSpace, pseudometricSpace	3
Theorems	0
Total	3

Equiv

Definitions

Name	Category	Theorems
dist 📖	CompOp	—
metricSpace 📖	CompOp	—
pseudometricSpace 📖	CompOp	—

---

← Back to Index