Tom de Jong: Formalization in HoTT: equivalences, 3-for-2 and definitional equality External Video-URL https://www.youtube.com/watch?v=OFkXKF1oEHw Preview-Image Search Engine Exclude no
