TopologicallyFG
📁 Source: FLT/Patching/Utils/TopologicallyFG.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsTopologicallyFG | 1 |
| 3 | |
| Total | 4 |
Algebra
Definitions
| Name | Category | Theorems |
|---|---|---|
TopologicallyFG 📖 | CompData |
Algebra.TopologicallyFG
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
module_ext 📖 | — | — | — | — | — |
out 📖 | — | — | — | — | — |
(root)
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
instTopologicallyFGOfFiniteType 📖 | mathematical | — | Algebra.TopologicallyFG | — | — |
---