mathlib3
095a77bb - feat(linear_algebra/tensor_product): add variant of ext_fourfold (#16724)

Commit

3 years ago

feat(linear_algebra/tensor_product): add variant of ext_fourfold (#16724) This came up in Oliver Nash's Xena workshop project.

Author

kbuzzard

Parents