Theorem true_or_iff

Modification history