Theorem Set.smul_set_univ_pi

Modification history