Theorem Set.smul_univ₀

Modification history