Mathlib v3 is deprecated. Go to Mathlib v4

Theorem continuous_multilinear_map.to_multilinear_map_zero

Modification history

2022-02-12 08:07
src/topology/algebra/module/multilinear.lean
chore(topology/algebra/module/multilinear): relax typeclass arguments (#11972) …
Added continuous_multilinear_map.to_multilinear_map_zeroView on Github →