Theorem Finset.Nonempty.of_vsub_left

Modification history