Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-10-20 19:54
cf0049ec
View on Github →
feat(CategoryTheory): natural version of
FullyFaithful.homEquiv
(
#17450
)
Estimated changes
Modified
Mathlib/CategoryTheory/Yoneda.lean
added
def
CategoryTheory.Functor.FullyFaithful.homNatIso
added
def
CategoryTheory.Functor.FullyFaithful.homNatIsoMaxRight