Theorem not_is_min_iff

Modification history