Theorem Finset.Finset.toList_eq_nil

Modification history