Theorem and_false_iff

Modification history