Theorem Set.smul_set_univ

Modification history