Theorem List.not_maximum_lt_of_mem

Modification history