<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <p>Hi every, in the following example, how do informe Agda that <span
        class="tlid-translation translation" lang="eo"><span title=""
          class="">'i ⊔ o ≡ suc (k + i)'</span></span> it's true and
      compatible?<br>
    </p>
    <p>Saluton ĉiun,<span class="tlid-translation translation" lang="eo"><span
          title="" class=""> en la sekva ekzemplo, kiel informi al Agda
          ke </span></span><span class="tlid-translation translation"
        lang="eo"><span title="" class="">'i ⊔ o ≡ suc (k + i)' veras
          kaj kongruas?</span></span></p>
    <p>Sinceran dankon,<br>
    </p>
    <p>-- <br>
    </p>
    <div class="moz-signature">Serge Leblanc
      <hr>
      gpg --search-keys 0x67B17A3F
      <br>
      Fingerprint = 2B2D AC93 8620 43D3 D2C2 C2D3 B67C F631 67B1 7A3F</div>
  </body>
</html>