Mathlib v3 is deprecated. Go to Mathlib v4

Theorem continuous.is_open_mul_support

Modification history

2022-11-10 07:06
src/topology/separation.lean
feat(analysis/convolution): weaken typeclass assumptions (#17452) …
Added continuous.is_open_mul_supportView on Github →