Theorem Set.range_smul

Modification history