Theorem Finset.preimage_empty

Modification history