Def groupCohomology.cochainsIso₀
Modification history
2026-09-04 11:59
Mathlib/RepresentationTheory/Homological/GroupCohomology/LowDegree.lean
chore(CategoryTheory): use the new `↧` notation in concrete categories (#41811) …
Modified groupCohomology.cochainsIso₀View on Github →