From 3bd3138db4cdbfa1a628104c09efb97d259cb51f Mon Sep 17 00:00:00 2001
From: Mario Carneiro <di.gama@gmail.com>
Date: Tue, 10 Sep 2024 11:27:49 +0400
Subject: [PATCH] tweaks

---
 ITP/slides.typ | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ITP/slides.typ b/ITP/slides.typ
index 985a007..edb900b 100644
--- a/ITP/slides.typ
+++ b/ITP/slides.typ
@@ -423,7 +423,7 @@ A *$bold(k)$-hole* is a convex $k$-gon with no point of $S$ in its interior.
 
 #[
   #set text(size: 22pt)
-  *Lemma*. WLOG we can assume that the points $(p_1, ..., p_n)$ satisfy the following properties:
+  *Lemma*. WLOG we can assume that the points $(p_1, ..., p_n)$ are in _canonical form_, meaning that they satisfy the following properties:
 
   ▸ *($x$-order)* The points are sorted with respect to their $x$-coordinates,\ i.e., $(p_i)_x < (p_j)_x$ for all $1 ≤ i < j ≤ n$.