Theorem List.not_lt_minimum_of_mem

Modification history