Theorem not_of_iff_false

Modification history