Def CategoryTheory.Aut.toEnd

Modification history

2024-02-08 17:51
Mathlib/CategoryTheory/Endomorphism.lean
feat(CategoryTheory/Galois): definition and characterisation of Galois objects (#10215) …
Added CategoryTheory.Aut.toEndView on Github →