Theorem Finset.inv_empty

Modification history