mathlib3
feat(linear_algebra/multilinear-tensor): Add `multilinear_map.dom_coprod_pi`
#5179

Open

Commits

feat(linear_algebra/multilinear-tensor): Add `multilinear_map.of_tmul`

eric-wieser committed 5 years ago
Merge remote-tracking branch 'origin/master' into eric-wieser/multilinear-tensor

eric-wieser committed 5 years ago

Loading