Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
group_cohomology.resolution.ε
Modification history
2023-03-30 00:32
src/representation_theory/group_cohomology_resolution.lean
refactor(representation_theory/group_cohomology_resolution): refactor `k[G^{n + 1}]` isomorphism (#18271) …
Modified
group_cohomology.resolution.ε
View on Github →
2022-10-21 17:19
src/representation_theory/group_cohomology_resolution.lean
feat(representation_theory/group_cohomology_resolution): add exactness properties of resolution (#17005)
Added
group_cohomology.resolution.ε
View on Github →