From 9ce0ea277ba027dfb466386638fdbc1c614cea16 Mon Sep 17 00:00:00 2001 From: Brian Lawrence Date: Tue, 9 Jul 2024 12:05:08 -0700 Subject: [PATCH] EC edit: for the reader --- easy/src/ec.typ | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/easy/src/ec.typ b/easy/src/ec.typ index b652d92..2e6ff0e 100644 --- a/easy/src/ec.typ +++ b/easy/src/ec.typ @@ -107,7 +107,7 @@ is the point at infinity $O$. This addition can be formalized as a _group law_, This group law involves some kind of heavy algebra. It's not important to understand exactly how it works. All you really need to take away from this section is that there is some group law, -and we can program a computer to compute it. We provide details below to the interested reader. +and we can program a computer to compute it. We provide details below for the interested reader. #gray[ So, let's get started.