Theorem Set.smul_set_sdiff

Modification history