Theorem true_iff_iff

Modification history