Skip to content

dep_comparable_ty_of_ty_eq proved with comments

Natasha Klaus requested to merge dep_comparable_ty_of_ty_eq into master

Proof with description. This MR should be deleted, when we will not need it anymore.

Edited by Natasha Klaus

Merge request reports