Theorem not_iff

Modification history