Theorem List.not_lt_maximum_of_mem'

Modification history