Theorem to_bool_true_eq_tt

Modification history