Theorem Finset.inter_compl

Modification history