Theorem not_is_max_of_lt

Modification history