Theorem Set.inter_compl_self

Modification history