Theorem Finset.Nonempty.of_sups_right

Modification history