Invariants

📁 Source: ClassFieldTheory/Mathlib/RepresentationTheory/Invariants.lean

Statistics

Metric	Count
Definitions zeroEmb, zeroι	2
Theorems forget₂_map, forget₂_obj, zeroι_naturality, zeroι_naturality_assoc	4
Total	6

RepresentationTheory.Rep

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
forget₂_map 📖	—	—	—	—	—
forget₂_obj 📖	—	—	—	—	—

RepresentationTheory.groupCohomology

Definitions

Name	Category	Theorems
zeroEmb 📖	CompOp	—
zeroι 📖	CompOp	6 math math: groupCohomology.map_comp_H0trivial, Rep.leftRegular.zeroι_res_norm, Rep.leftRegular.zeroι_norm, zeroι_naturality, zeroι_naturality_assoc, groupCohomology.map_comp_H0trivial_apply

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
zeroι_naturality 📖	mathematical	—	zeroι	—	—
zeroι_naturality_assoc 📖	mathematical	—	zeroι	—	zeroι_naturality

---

← Back to Index