Commit 2023-04-23 09:27 b014d9dc

View on Github →

feat: port CategoryTheory.Limits.Preserves.FunctorCategory (#3599) Straightforward.

Estimated changes