Theorem tsupport_smul_subset_right

Modification history

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 →