Theorem List.minimum_ne_top_of_ne_nil

Modification history