Theorem Set.disjoint_singleton_right

Modification history