Theorem Set.smul_set_symm_diff

Modification history