Theorem Set.compl_union_self

Modification history