Theorem CategoryTheory.Aut.ext

Modification history

2023-06-06 18:52
Mathlib/CategoryTheory/Endomorphism.lean
feat: port RepresentationTheory.Action (#4700)
Added CategoryTheory.Aut.extView on Github →