Theorem Set.smul_univ₀'

Modification history