Deleted a comment.

2026-01-13 07:07:59 -05:00
parent d40b5e0022
commit c320513339
1 changed files with 1 additions and 1 deletions
@@ -140,7 +140,7 @@
        </latex-image>
      </image>
    </figure>
-    <!-- TODO learn figures -->
+
    <definition xml:id="def-disjoint">
      <statement>
        <p>