Skip to content

Fix the proof of dep_comparable_ty_of_ty_eq

Guillaume Claret requested to merge guillaume-claret@134-translator-simulations-10-19 into 134-translator-simulations-10-19

A commit to cherry-pick.

Merge request reports