Theorem iff_of_true

Modification history