Theorem Finset.smul_univ₀

Modification history