[Merged by Bors] - feat(CategoryTheory): whiskering and curryfication of functors in three variables#20197
[Merged by Bors] - feat(CategoryTheory): whiskering and curryfication of functors in three variables#20197
Conversation
PR summary ae6c414f47Import changes for modified filesNo significant changes to the import graph Import changes for all files
|
|
maintainer merge |
|
🚀 Pull request has been placed on the maintainer queue by dagurtomas. |
…ee variables (#20197) Co-authored-by: Joël Riou <37772949+joelriou@users.noreply.github.com>
|
This PR was included in a batch that was canceled, it will be automatically retried |
…ee variables (#20197) Co-authored-by: Joël Riou <37772949+joelriou@users.noreply.github.com>
|
Pull request successfully merged into master. Build succeeded! And happy new year! 🎉 |
This prepares for #12728.