Theorem and_true_iff

Modification history