Theorem mulTSupport_mul_inv

Modification history

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