Theorem List.minimum_nil

Modification history