Theorem Finset.exists_eq_insert_iff

Modification history