Def Action.mkIso

Modification history

2023-12-05 09:47

Mathlib/RepresentationTheory/Action.lean

chore: split RepresentationTheory.Action in multiple files (#8660) …

Modified Action.mkIso View on Github →

2023-06-09 07:23

Mathlib/RepresentationTheory/Action.lean

chore: review of automation in category theory (#4793) …

Modified Action.mkIso View on Github →

2023-06-06 18:52

Mathlib/RepresentationTheory/Action.lean

feat: port RepresentationTheory.Action (#4700)

Added Action.mkIso View on Github →