typo in summary.v

DmxLarchey · DmxLarchey · commit ae77c0b38dba · 2021-05-07T12:19:59.000+02:00
reduction --&gt; ireduction
diff --git a/theories/TRAKHTENBROT/summary.v b/theories/TRAKHTENBROT/summary.v
@@ -78,9 +78,9 @@ About "⪯ᵢ". Print "⪯ᵢ".
 
 (* Fact 3 *)
 
-About reduction_decidable.
-About reduction_rec_enum_t.
-About reduction_opt_enum_t.
+About ireduction_decidable.
+About ireduction_rec_enum_t.
+About ireduction_opt_enum_t.
 
 (* Definition 4 *)
 
