Theorem List.not_lt_minimum_of_mem'

Modification history