Theorem Finset.Nonempty.of_infs_left

Modification history