Theorem forall_true_iff'

Modification history