Def Rep.toAdditive

Modification history

2026-03-24 21:13

Mathlib/RepresentationTheory/Rep.lean

chore(RepresentationTheory): Refactor Rep (#36127) …

Modified Rep.toAdditive View on Github →

2026-01-05 14:32

Mathlib/RepresentationTheory/Rep.lean

feat(RepresentationTheory/Homological/GroupCohomology/Hilbert90): add Hilbert 90 for cyclic groups (#33124) …

Added Rep.toAdditive View on Github →