Theorem Finset.Finset.toList_empty

Modification history