auto gitdoc commit

2024-04-22 03:42:15 +00:00 · 2024-04-22 03:42:15 +00:00 · 46ae45600b
commit 46ae45600b
parent 6bce930a23
1 changed files with 1 additions and 0 deletions
--- a/src/HottBook/Chapter2.lagda.md
+++ b/src/HottBook/Chapter2.lagda.md
@ -403,6 +403,7 @@ theorem2∙13∙1 m n = encode m n , equiv
      in what5
    backward (suc m) (suc n) c =
      let
+        IH = backward m n c
      in {!   !}

    equiv = record