Theorem Set.smul_set_inter_subset

Modification history