Theorem or_false_iff

Modification history