Theorem Finset.Finset.toList_cons

Modification history