Commit 2024-10-07 13:31 40436c45
View on Github →chore(CategoryTheory/Adjunction): deduplicate API for uniqueness of adjoints (#17113)
Removes some API from the file Adjunction.Unique which was a duplicate of API from Adjunction.Mates
chore(CategoryTheory/Adjunction): deduplicate API for uniqueness of adjoints (#17113)
Removes some API from the file Adjunction.Unique which was a duplicate of API from Adjunction.Mates