Theorem Finset.insert_empty

Modification history