Theorem true_and_iff

Modification history