Theorem Set.smul_set_inter₀

Modification history