-
Notifications
You must be signed in to change notification settings - Fork 256
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: port CategoryTheory.Limits.Shapes.Products #2564
Commits on Mar 1, 2023
-
Configuration menu - View commit details
-
Copy full SHA for d482fe9 - Browse repository at this point
Copy the full SHA d482fe9View commit details -
Configuration menu - View commit details
-
Copy full SHA for dd61b57 - Browse repository at this point
Copy the full SHA dd61b57View commit details -
Mathbin -> Mathlib fix certain import statements move "by" to end of line add import to Mathlib.lean
Configuration menu - View commit details
-
Copy full SHA for b3b7993 - Browse repository at this point
Copy the full SHA b3b7993View commit details -
Configuration menu - View commit details
-
Copy full SHA for 407123b - Browse repository at this point
Copy the full SHA 407123bView commit details
Commits on Mar 2, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 0c322e1 - Browse repository at this point
Copy the full SHA 0c322e1View commit details -
Configuration menu - View commit details
-
Copy full SHA for bcb153b - Browse repository at this point
Copy the full SHA bcb153bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 4ffa8fc - Browse repository at this point
Copy the full SHA 4ffa8fcView commit details -
Merge remote-tracking branch 'origin' into port/CategoryTheory.Limits…
….Shapes.Products
Configuration menu - View commit details
-
Copy full SHA for 294272f - Browse repository at this point
Copy the full SHA 294272fView commit details
Commits on Mar 5, 2023
-
Merge remote-tracking branch 'origin' into port/CategoryTheory.Limits…
….Shapes.Products
Configuration menu - View commit details
-
Copy full SHA for 667aae4 - Browse repository at this point
Copy the full SHA 667aae4View commit details
Commits on Mar 6, 2023
-
Merge remote-tracking branch 'origin' into port/CategoryTheory.Limits…
….Shapes.Products
Configuration menu - View commit details
-
Copy full SHA for 3f69416 - Browse repository at this point
Copy the full SHA 3f69416View commit details
Commits on Mar 7, 2023
-
Merge remote-tracking branch 'origin' into port/CategoryTheory.Limits…
….Shapes.Products
Configuration menu - View commit details
-
Copy full SHA for a82cc70 - Browse repository at this point
Copy the full SHA a82cc70View commit details -
Merge remote-tracking branch 'origin' into port/CategoryTheory.Limits…
….Shapes.Products
Configuration menu - View commit details
-
Copy full SHA for 4e61741 - Browse repository at this point
Copy the full SHA 4e61741View commit details