Mathlib Changelog
v4
Changelog
About
Github
Def
CategoryTheory.End.of
Modification history
2023-02-16 06:14
Mathlib/CategoryTheory/Endomorphism.lean
feat: port CategoryTheory.Endomorphism (#2310)
Added
CategoryTheory.End.of
View on Github →