Theorem Finset.insert_def

Modification history