Def Rep.of

Modification history

2025-02-06 10:13

Mathlib/RepresentationTheory/Rep.lean

refactor(RepresentationTheory): `ConcreteCategory` instances for `Rep` (#21465) …

Deleted Rep.of View on Github →

2023-06-21 09:25

Mathlib/RepresentationTheory/Rep.lean

feat: port RepresentationTheory.Rep (#5041)

Added Rep.of View on Github →