Def groupCohomology.resolution.ofMulActionBasisAux

Modification history

2026-01-01 15:17
Mathlib/RepresentationTheory/Homological/Resolution.lean
chore: remove June 2025 deprecated declarations (#33429) …
Deleted groupCohomology.resolution.ofMulActionBasisAuxView on Github →
2023-10-23 14:19
Mathlib/RepresentationTheory/GroupCohomology/Resolution.lean
chore(RepresentationTheory.GroupCohomology): make namespaces lower camel case (#6029)
Added groupCohomology.resolution.ofMulActionBasisAuxView on Github →