Theorem groupCohomology.H1π_comp_H1IsoOfIsTrivial_hom
Modification history
2025-07-04 10:05
Mathlib/RepresentationTheory/Homological/GroupCohomology/LowDegree.lean
chore: whitespace before `:` (#26727) …
Added groupCohomology.H1π_comp_H1IsoOfIsTrivial_homView on Github →