Commit 2021-01-06 08:30 56ed5d78

View on Github →

feat(category_theory/adjunction): mates (#5599) Adds some results on the calculus of mates.

Estimated changes