Commit 2023-03-27 16:01 86e3d293

View on Github →

feat: port CategoryTheory.Localization.Opposite (#2949)

Estimated changes