Theorem Set.range_mul

Modification history

2024-07-12 20:12
Mathlib/Data/Set/Pointwise/SMul.lean
feat: Translation of affine bases (#14682) …
Added Set.range_mulView on Github →