Theorem Finset.insert_ne_empty

Modification history