Def Rep.standardComplex.barComplex.d

Modification history

2025-06-09 08:15

Mathlib/RepresentationTheory/GroupCohomology/Resolution.lean

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

Added Rep.standardComplex.barComplex.d View on Github →