Theorem Finset.toList_insert

Modification history