tweaks (#125)

affeldt-aist · Jul 13, 2024 · 5a1e1cb · 5a1e1cb
1 parent da24774
commit 5a1e1cb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/robust/weightedmean.v b/robust/weightedmean.v
@@ -468,8 +468,8 @@ Qed.
 
 End pos_evar.
 
-Notation eps_max := (10 / 127)%mcR.
-Notation denom := (335 / 100)%mcR.
+Notation eps_max := (10 / 126)%mcR.
+Notation denom := ((3 / 10)^-1)%mcR.
 
 Section invariant.
 Local Open Scope ring_scope.