Theorem Set.compl_def

Modification history