feat(RepresentationTheory/Character): add integral result for character and conjugacy classes#41489
Draft
Yu-Misaka wants to merge 16 commits into
Draft
feat(RepresentationTheory/Character): add integral result for character and conjugacy classes#41489Yu-Misaka wants to merge 16 commits into
Yu-Misaka wants to merge 16 commits into
Commits
Commits on Jul 3, 2026
- committed
- andauthored
- committed
Commits on Jul 4, 2026
Commits on Jul 6, 2026
Commits on Jul 8, 2026
- authored
- committed
- committed
- committed