Functoriality
📁 Source: ClassFieldTheory/Mathlib/RepresentationTheory/Homological/GroupHomology/Functoriality.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsmapIso | 1 |
| 4 | |
| Total | 5 |
groupHomology
Definitions
| Name | Category | Theorems |
|---|---|---|
mapIso 📖 | CompOp |
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
chainsMap_congr 📖 | — | — | — | — | — |
mapIso_hom 📖 | mathematical | — | mapIso | — | — |
mapIso_inv 📖 | mathematical | — | mapIso | — | — |
map_congr 📖 | — | — | — | — | — |
---