-
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
refactor(LinearAlgebra/BilinearForm/TensorProduct): Tensor products of bilinear maps #14988
base: master
Are you sure you want to change the base?
Commits on Jul 21, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 250f937 - Browse repository at this point
Copy the full SHA 250f937View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8476709 - Browse repository at this point
Copy the full SHA 8476709View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7f4b8b4 - Browse repository at this point
Copy the full SHA 7f4b8b4View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3dcc169 - Browse repository at this point
Copy the full SHA 3dcc169View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8eb13e5 - Browse repository at this point
Copy the full SHA 8eb13e5View commit details -
Configuration menu - View commit details
-
Copy full SHA for 069ebbd - Browse repository at this point
Copy the full SHA 069ebbdView commit details
Commits on Jul 22, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 4074a79 - Browse repository at this point
Copy the full SHA 4074a79View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2d302a6 - Browse repository at this point
Copy the full SHA 2d302a6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 0491c55 - Browse repository at this point
Copy the full SHA 0491c55View commit details -
Configuration menu - View commit details
-
Copy full SHA for 12e8ccb - Browse repository at this point
Copy the full SHA 12e8ccbView commit details -
Configuration menu - View commit details
-
Copy full SHA for 7530ddc - Browse repository at this point
Copy the full SHA 7530ddcView commit details -
Configuration menu - View commit details
-
Copy full SHA for 873d58e - Browse repository at this point
Copy the full SHA 873d58eView commit details
Commits on Jul 23, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 13cd0ee - Browse repository at this point
Copy the full SHA 13cd0eeView commit details -
Implement LinearMap.BilinForm.congr with LinearEquiv.congrRight and L…
…inearEquiv.congrLeft
Configuration menu - View commit details
-
Copy full SHA for 624ba77 - Browse repository at this point
Copy the full SHA 624ba77View commit details
Commits on Jul 30, 2024
-
Configuration menu - View commit details
-
Copy full SHA for cbbb0a1 - Browse repository at this point
Copy the full SHA cbbb0a1View commit details
Commits on Aug 1, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 2a2ff93 - Browse repository at this point
Copy the full SHA 2a2ff93View commit details
Commits on Aug 7, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 55c2ad0 - Browse repository at this point
Copy the full SHA 55c2ad0View commit details
Commits on Aug 9, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 312d57a - Browse repository at this point
Copy the full SHA 312d57aView commit details
Commits on Aug 15, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 03a4d93 - Browse repository at this point
Copy the full SHA 03a4d93View commit details -
Configuration menu - View commit details
-
Copy full SHA for 35779ab - Browse repository at this point
Copy the full SHA 35779abView commit details
Commits on Aug 23, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 0fd0842 - Browse repository at this point
Copy the full SHA 0fd0842View commit details
Commits on Aug 31, 2024
-
Configuration menu - View commit details
-
Copy full SHA for b1c3526 - Browse repository at this point
Copy the full SHA b1c3526View commit details
Commits on Sep 7, 2024
-
Configuration menu - View commit details
-
Copy full SHA for ce17df7 - Browse repository at this point
Copy the full SHA ce17df7View commit details
Commits on Sep 13, 2024
-
Configuration menu - View commit details
-
Copy full SHA for e5648a5 - Browse repository at this point
Copy the full SHA e5648a5View commit details
Commits on Sep 20, 2024
-
Configuration menu - View commit details
-
Copy full SHA for cdf6efc - Browse repository at this point
Copy the full SHA cdf6efcView commit details
Commits on Oct 2, 2024
-
Update Mathlib/LinearAlgebra/QuadraticForm/Basic.lean
Co-authored-by: Andrew Yang <36414270+erdOne@users.noreply.github.com>
Configuration menu - View commit details
-
Copy full SHA for 32fae52 - Browse repository at this point
Copy the full SHA 32fae52View commit details -
Configuration menu - View commit details
-
Copy full SHA for f1095a5 - Browse repository at this point
Copy the full SHA f1095a5View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1b97cd7 - Browse repository at this point
Copy the full SHA 1b97cd7View commit details -
Configuration menu - View commit details
-
Copy full SHA for c81a91d - Browse repository at this point
Copy the full SHA c81a91dView commit details
Commits on Oct 3, 2024
-
Configuration menu - View commit details
-
Copy full SHA for da9154a - Browse repository at this point
Copy the full SHA da9154aView commit details
Commits on Oct 5, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 5f331f0 - Browse repository at this point
Copy the full SHA 5f331f0View commit details -
Configuration menu - View commit details
-
Copy full SHA for 390c528 - Browse repository at this point
Copy the full SHA 390c528View commit details -
Configuration menu - View commit details
-
Copy full SHA for 85c9ca4 - Browse repository at this point
Copy the full SHA 85c9ca4View commit details -
Configuration menu - View commit details
-
Copy full SHA for e032808 - Browse repository at this point
Copy the full SHA e032808View commit details -
Configuration menu - View commit details
-
Copy full SHA for d2ec918 - Browse repository at this point
Copy the full SHA d2ec918View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3b08310 - Browse repository at this point
Copy the full SHA 3b08310View commit details -
Configuration menu - View commit details
-
Copy full SHA for d22d812 - Browse repository at this point
Copy the full SHA d22d812View commit details -
Update Mathlib/LinearAlgebra/QuadraticForm/Basic.lean
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Configuration menu - View commit details
-
Copy full SHA for 02c2c5a - Browse repository at this point
Copy the full SHA 02c2c5aView commit details
Commits on Oct 6, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 1e125a3 - Browse repository at this point
Copy the full SHA 1e125a3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6cd85c3 - Browse repository at this point
Copy the full SHA 6cd85c3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6e990d8 - Browse repository at this point
Copy the full SHA 6e990d8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 14b9754 - Browse repository at this point
Copy the full SHA 14b9754View commit details
Commits on Oct 14, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 5e3d4f1 - Browse repository at this point
Copy the full SHA 5e3d4f1View commit details -
Configuration menu - View commit details
-
Copy full SHA for 15213e8 - Browse repository at this point
Copy the full SHA 15213e8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6a8d38b - Browse repository at this point
Copy the full SHA 6a8d38bView commit details
Commits on Oct 24, 2024
-
Configuration menu - View commit details
-
Copy full SHA for c7cd0fa - Browse repository at this point
Copy the full SHA c7cd0faView commit details -
Configuration menu - View commit details
-
Copy full SHA for 4133bb3 - Browse repository at this point
Copy the full SHA 4133bb3View commit details -
Configuration menu - View commit details
-
Copy full SHA for d75ee5b - Browse repository at this point
Copy the full SHA d75ee5bView commit details
Commits on Oct 25, 2024
-
Update Mathlib/LinearAlgebra/BilinearForm/TensorProduct.lean
Co-authored-by: Eric Wieser <efw@google.com>
Configuration menu - View commit details
-
Copy full SHA for cd7de90 - Browse repository at this point
Copy the full SHA cd7de90View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3e25ca4 - Browse repository at this point
Copy the full SHA 3e25ca4View commit details -
Configuration menu - View commit details
-
Copy full SHA for f88ab45 - Browse repository at this point
Copy the full SHA f88ab45View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6f0e4a2 - Browse repository at this point
Copy the full SHA 6f0e4a2View commit details -
Configuration menu - View commit details
-
Copy full SHA for ededa78 - Browse repository at this point
Copy the full SHA ededa78View commit details -
Configuration menu - View commit details
-
Copy full SHA for de32035 - Browse repository at this point
Copy the full SHA de32035View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1677ddc - Browse repository at this point
Copy the full SHA 1677ddcView commit details -
Configuration menu - View commit details
-
Copy full SHA for 18b17e9 - Browse repository at this point
Copy the full SHA 18b17e9View commit details
Commits on Oct 26, 2024
-
Update Mathlib/LinearAlgebra/BilinearForm/TensorProduct.lean
Co-authored-by: Eric Wieser <efw@google.com>
Configuration menu - View commit details
-
Copy full SHA for 7823fa3 - Browse repository at this point
Copy the full SHA 7823fa3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 0402b30 - Browse repository at this point
Copy the full SHA 0402b30View commit details -
Configuration menu - View commit details
-
Copy full SHA for 90ed818 - Browse repository at this point
Copy the full SHA 90ed818View commit details -
Configuration menu - View commit details
-
Copy full SHA for a67361e - Browse repository at this point
Copy the full SHA a67361eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 1ebaabd - Browse repository at this point
Copy the full SHA 1ebaabdView commit details -
Configuration menu - View commit details
-
Copy full SHA for ab07599 - Browse repository at this point
Copy the full SHA ab07599View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2e3f587 - Browse repository at this point
Copy the full SHA 2e3f587View commit details
Commits on Oct 27, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 336fee8 - Browse repository at this point
Copy the full SHA 336fee8View commit details
Commits on Oct 28, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 7900d62 - Browse repository at this point
Copy the full SHA 7900d62View commit details -
Configuration menu - View commit details
-
Copy full SHA for 21ea33a - Browse repository at this point
Copy the full SHA 21ea33aView commit details