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