-
Notifications
You must be signed in to change notification settings - Fork 298
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[Merged by Bors] - feat(category_theory/closed): Frobenius reciprocity of cartesian closed categories #5624
Closed
Commits on Dec 20, 2020
-
Configuration menu - View commit details
-
Copy full SHA for a44f2de - Browse repository at this point
Copy the full SHA a44f2deView commit details
Commits on Dec 23, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 4183141 - Browse repository at this point
Copy the full SHA 4183141View commit details
Commits on Jan 4, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 7cb0496 - Browse repository at this point
Copy the full SHA 7cb0496View commit details -
Configuration menu - View commit details
-
Copy full SHA for 64d0505 - Browse repository at this point
Copy the full SHA 64d0505View commit details -
Configuration menu - View commit details
-
Copy full SHA for ed79fed - Browse repository at this point
Copy the full SHA ed79fedView commit details -
Configuration menu - View commit details
-
Copy full SHA for e8c5578 - Browse repository at this point
Copy the full SHA e8c5578View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6d59c2f - Browse repository at this point
Copy the full SHA 6d59c2fView commit details
Commits on Jan 5, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 077433d - Browse repository at this point
Copy the full SHA 077433dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 8049705 - Browse repository at this point
Copy the full SHA 8049705View commit details
Commits on Jan 8, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 8b36e1a - Browse repository at this point
Copy the full SHA 8b36e1aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 04755b6 - Browse repository at this point
Copy the full SHA 04755b6View commit details -
Apply suggestions from code review
Co-authored-by: Johan Commelin <johan@commelin.net>
Configuration menu - View commit details
-
Copy full SHA for 5ea1384 - Browse repository at this point
Copy the full SHA 5ea1384View commit details
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.