Theorem Finset.inv_insert

Modification history