Def continuous_multilinear_map.const_of_is_empty

Modification history

2023-01-03 11:06

src/topology/algebra/module/multilinear.lean

feat(topology/algebra/module/multilinear): add continuous versions of constructions (#18044) …

Added continuous_multilinear_map.const_of_is_empty View on Github →