-
Notifications
You must be signed in to change notification settings - Fork 330
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
feat(Topology/Algebra/Field): ContinuousSMul
for intermediate fields
#18142
base: master
Are you sure you want to change the base?
feat(Topology/Algebra/Field): ContinuousSMul
for intermediate fields
#18142
Commits on Oct 23, 2024
-
Configuration menu - View commit details
-
Copy full SHA for e3d1d30 - Browse repository at this point
Copy the full SHA e3d1d30View commit details -
Configuration menu - View commit details
-
Copy full SHA for e2f3699 - Browse repository at this point
Copy the full SHA e2f3699View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1e083bf - Browse repository at this point
Copy the full SHA 1e083bfView commit details -
Configuration menu - View commit details
-
Copy full SHA for a7bfde3 - Browse repository at this point
Copy the full SHA a7bfde3View commit details -
Revert "ContinuousSMul for subfield intermediate fields"
This reverts commit 1e083bf.
Configuration menu - View commit details
-
Copy full SHA for ff465bf - Browse repository at this point
Copy the full SHA ff465bfView commit details -
Merge branch 'jiedong_jiang_continuous_smul_intermediate_field' of ht…
…tps://github.com/leanprover-community/mathlib4 into jiedong_jiang_continuous_smul_intermediate_field
Configuration menu - View commit details
-
Copy full SHA for e3576a3 - Browse repository at this point
Copy the full SHA e3576a3View commit details -
Revert "Merge branch 'jiedong_jiang_continuous_smul_intermediate_fiel…
…d' of https://github.com/leanprover-community/mathlib4 into jiedong_jiang_continuous_smul_intermediate_field" This reverts commit e3576a3, reversing changes made to ff465bf.
Configuration menu - View commit details
-
Copy full SHA for 8c75884 - Browse repository at this point
Copy the full SHA 8c75884View commit details -
Reapply "ContinuousSMul for subfield intermediate fields"
This reverts commit ff465bf.
Configuration menu - View commit details
-
Copy full SHA for fa5a1b2 - Browse repository at this point
Copy the full SHA fa5a1b2View commit details -
Configuration menu - View commit details
-
Copy full SHA for b5bd4dd - Browse repository at this point
Copy the full SHA b5bd4ddView commit details -
Configuration menu - View commit details
-
Copy full SHA for b5efa8a - Browse repository at this point
Copy the full SHA b5efa8aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 1ab79fb - Browse repository at this point
Copy the full SHA 1ab79fbView commit details -
Configuration menu - View commit details
-
Copy full SHA for b0efef1 - Browse repository at this point
Copy the full SHA b0efef1View commit details
Commits on Oct 28, 2024
-
Configuration menu - View commit details
-
Copy full SHA for f47c38c - Browse repository at this point
Copy the full SHA f47c38cView commit details