Script_ir_translator: 19 - 23 proved.
Proved 5 lemmas from issue #135 :
dep_check_dupable_comparable_ty_eq
dep_check_dupable_ty_eq
dep_default_ty_eq_error_eq
dep_comparable_ty_eq_eq
dep_ty_eq_eq
Edited by Natasha Klaus
Proved 5 lemmas from issue #135 :
dep_check_dupable_comparable_ty_eq
dep_check_dupable_ty_eq
dep_default_ty_eq_error_eq
dep_comparable_ty_eq_eq
dep_ty_eq_eq