ContinuousAlgEquiv
📁 Source: FLT/Mathlib/Topology/Algebra/ContinuousAlgEquiv.lean
Statistics
| Metric | Count |
|---|---|
DefinitionstoContinuousLinearEquiv | 1 |
TheoremstoContinuousLinearEquiv_apply | 1 |
| Total | 2 |
ContinuousAlgEquiv
Definitions
| Name | Category | Theorems |
|---|---|---|
toContinuousLinearEquiv 📖 | CompOp |
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
toContinuousLinearEquiv_apply 📖 | mathematical | — | toContinuousLinearEquiv | — | — |
---