Theorem tsupport_smul_subset_left

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_left View on Github →

2023-02-02 07:44

Mathlib/Topology/Support.lean

feat: port Topology.Support (#2002)

Added tsupport_smul_subset_left View on Github →