Theorem mulTSupport_binop_subset

Modification history

2025-11-18 17:49
Mathlib/Topology/Algebra/Support.lean
feat: more API on tsupport and operations on functions (#31549) …
Added mulTSupport_binop_subsetView on Github →