Theorem Set.smul_set_eq_empty

Modification history