Theorem Finset.nonempty_range_iff

Modification history