Commit 2024-05-01 00:06 dc034b59
View on Github →feat(CategoryTheory/Yoneda): dualize yoneda lemma (#12041)
Refactors yonedaLemma
. Also dualizes all definitions and results related to yonedaLemma
to obtain coyonedaLemma
and friends.
feat(CategoryTheory/Yoneda): dualize yoneda lemma (#12041)
Refactors yonedaLemma
. Also dualizes all definitions and results related to yonedaLemma
to obtain coyonedaLemma
and friends.