Theorem false_iff_true

Modification history