Redirect Notice
The previous page is sending you to
https://coggle.it/diagram/X4XNuglMQ0Bq0D1M/t/equivalence-types
.
If you do not want to visit that page, you can
return to the previous page
.