Theorem Set.smul_inter_ne_empty_iff

Modification history