Theorem not_is_max_iff

Modification history