Commit 2023-02-13 06:51 5bf726d3

View on Github →

feat: port CategoryTheory.Functor.InvIsos (#2237)

Estimated changes