Theorem Finset.Nonempty.of_diffs_left

Modification history