Theorem not_is_min_of_lt

Modification history