Theorem Bool.true_eq_decide_iff

Modification history