Def decidable_eq_of_bool_pred

Modification history