Theorem Finset.smul_univ₀'

Modification history