Theorem tsupport_smul_subset_right

Modification history

2025-11-18 17:49
Mathlib/Topology/Algebra/Support.lean
feat: more API on tsupport and operations on functions (#31549) …
Modified tsupport_smul_subset_rightView on Github →
2024-01-24 14:31
Mathlib/Topology/Support.lean
feat(Topology/Support): add tsupport_smul_{left,right} (#9778) …
Added tsupport_smul_subset_rightView on Github →