Theorem not_is_min

Modification history