Theorem Finset.compl_insert

Modification history