Theorem mulTSupport_mul

Modification history

2025-04-09 00:36

Mathlib/Topology/Algebra/Support.lean

feat: generalize Mathlib.Topology (#23193) …

Modified mulTSupport_mul View on Github →

2023-12-18 08:56

Mathlib/Topology/Support.lean

feat: add mulTSupport_mul/tsupport_add (#9060) …

Added mulTSupport_mul View on Github →