Theorem Bool.eq_true_of_ne_false

Modification history