Theorem Finset.Nonempty.toList_ne_nil

Modification history