Mathlib v3 is deprecated. Go to Mathlib v4

Def continuous_multilinear_map.pi_linear_equiv

Modification history

2021-07-03 09:58
src/topology/algebra/multilinear.lean
feat(topology/algebra/multilinear): add a linear_equiv version of pi (#8064) …
Added continuous_multilinear_map.pi_linear_equivView on Github →