Theorem Representation.toCoinvariants_mk

Modification history

2025-07-23 17:08
Mathlib/RepresentationTheory/Coinvariants.lean
feat(RepresentationTheory/Homological): (co)(res/inf) natural transformations on group (co)homology (#27393) …
Added Representation.toCoinvariants_mkView on Github →