Theorem groupCohomology.norm_ofAlgebraAutOnUnits_eq

Modification history

2026-01-05 14:32
Mathlib/RepresentationTheory/Homological/GroupCohomology/Hilbert90.lean
feat(RepresentationTheory/Homological/GroupCohomology/Hilbert90): add Hilbert 90 for cyclic groups (#33124) …
Added groupCohomology.norm_ofAlgebraAutOnUnits_eqView on Github →