Structure CategoryTheory.End

Modification history

2026-10-04 10:20

Mathlib/CategoryTheory/Endomorphism.lean

chore(CategoryTheory): `End` and `Aut` as `1`-field structures (#43759) …

Added CategoryTheory.End View on Github →