Theorem Finset.insert_val'

Modification history