Theorem Set.smul_set_sdiff₀

Modification history