Theorem Finset.preimage_compl

Modification history