LowDegree
📁 Source: ClassFieldTheory/Mathlib/RepresentationTheory/Homological/GroupHomology/LowDegree.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsH1TrivialAddEquiv | 1 |
| 4 | |
| Total | 5 |
groupHomology
Definitions
| Name | Category | Theorems |
|---|---|---|
H1TrivialAddEquiv 📖 | CompOp |
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
H1TrivialAddEquiv_apply 📖 | mathematical | — | H1TrivialAddEquiv | — | — |
H1TrivialAddEquiv_single 📖 | mathematical | — | H1TrivialAddEquiv | — | — |
H1TrivialAddEquiv_symm 📖 | mathematical | — | H1TrivialAddEquiv | — | H1TrivialAddEquiv_single |
H1TrivialAddEquiv_symm_apply 📖 | mathematical | — | H1TrivialAddEquiv | — | — |
---