Theorem groupHomology.π_comp_H0IsoOfIsTrivial_hom

Modification history

2025-07-11 14:29
Mathlib/RepresentationTheory/Homological/GroupHomology/LowDegree.lean
feat(RepresentationTheory/Homological/GroupHomology/LowDegree): specialized API for `H0, H1, H2` (#25908) …
Added groupHomology.π_comp_H0IsoOfIsTrivial_homView on Github →