Theorem Representation.mem_invariants_iff_of_forall_mem_zpowers

Modification history

2025-10-02 13:23
Mathlib/RepresentationTheory/Invariants.lean
feat(RepresentationTheory/Homological): add standard resolution for finite cyclic groups (#27363) …
Added Representation.mem_invariants_iff_of_forall_mem_zpowersView on Github →