<html>
  <head>
    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <p>In the paper <a moz-do-not-send="true"
href="http://www.cse.chalmers.se/~peterd/papers/AgdaLectureNotes2018.pdf">AgdaLectureNotes2018</a>
      of Peter Dybjer, there is this exercise page 19</p>
    <p><span style="left: 247.853px; top: 806.103px; font-size:
        16.6043px; font-family: serif; transform: scaleX(0.811587);">Exercise:
        prove symmetry and transitivity using subst but without using
        pattern matching</span><span style="left: 222.947px; top:
        826.028px; font-size: 16.6043px; font-family: serif; transform:
        scaleX(0.796068);">! <br>
      </span></p>
    <p><span style="left: 222.947px; top: 826.028px; font-size:
        16.6043px; font-family: serif; transform: scaleX(0.796068);">I
        don't find the solution, can you help me to solve it ?<br>
      </span></p>
    <div class="moz-signature">-- <br>
      courriel : <a class="moz-txt-link-abbreviated"
        href="mailto:michel.levy.imag@free.fr">michel.levy.imag@free.fr</a>
      <br>
      mobile : 06 59 13 42 53<br>
      web : michel.levy.imag.free.fr </div>
  </body>
</html>