Theorem Set.smul_set_pi₀'

Modification history