TransferInstance

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

Statistics

Metric	Count
Definitions homeomorph, topologicalSpace	2
Theorems	0
Total	2

Equiv

Definitions

Name	Category	Theorems
homeomorph 📖	CompOp	1 math math: Shrink.toEquiv_homeomorph
topologicalSpace 📖	CompOp	2 math math: Shrink.toEquiv_homeomorph, toLinearEquiv_continuousLinearEquiv

---

← Back to Index