Theorem or_true_iff

Modification history