Theorem Set.compl_union

Modification history