Theorem Set.smul_set_inter

Modification history