Theorem Set.disjoint_sdiff_right

Modification history