Revision #2659 → #3192 · back to history
modifiedTensor product as space of bilinear formsc7ed41a30742
| Field | From #2659 | To #3192 |
|---|
| anchor.snippet | we can define | the set of bilinear forms on |
| provenance | ai | ai-moderated |
modifiedTensor product of F^m and F^n8c9b03507b65
| Field | From #2659 | To #3192 |
|---|
| anchor.snippet | where | are positive integers, then one may set |
| provenance | ai | ai-moderated |
addedSymmetric group action on tensor powers341df49d2c93
addedHigher Tor functors and derived tensor producte76a737eecea
modifiedTensor product of algebrasc5749736736e
| Field | From #2659 | To #3192 |
|---|
| anchor.snippet | the tensor product | is an R -algebra itself |
| provenance | ai | ai-moderated |
modifiedTensor product of representations / algebrasfbd94a175ce9
| Field | From #2659 | To #3192 |
|---|
| mathlib.module | Mathlib.RepresentationTheory.Rep.Basic | Mathlib.RepresentationTheory.Basic |
addedn-th exterior powerbb5a97f7ceb2
addedSymmetric tensor136aa9a27747