Theorem Rep.FiniteCyclicGroup.leftRegular.range_norm_eq_ker_applyAsHom_sub

Modification history

2025-10-02 13:23
Mathlib/RepresentationTheory/Homological/FiniteCyclic.lean
feat(RepresentationTheory/Homological): add standard resolution for finite cyclic groups (#27363) …
Added Rep.FiniteCyclicGroup.leftRegular.range_norm_eq_ker_applyAsHom_subView on Github →