Def Rep.standardComplex.barResolution.extIso

Modification history

2025-06-09 08:15

Mathlib/RepresentationTheory/GroupCohomology/Resolution.lean

feat(RepresentationTheory/*): add the bar resolution (#21738) …

Added Rep.standardComplex.barResolution.extIso View on Github →