Theorem Bool.eq_false_of_ne_true

Modification history