typo

thery · thery · commit 5b2ba66868c1 · 2026-02-24T16:57:59.000+01:00
diff --git a/hermite.v b/hermite.v
@@ -6,7 +6,7 @@
 (*    `⌊x⌋  : floor function                                                  *)
 (*    `⌈x⌋  : nearest-int function with `⌈ n + 1/2 ⌋ = n + 1                  *)
 (*                                                                            *)
-(*    hermite's identity : `⌊nx⌋ = \sum_(k < n) `⌊x + k / n⌋                  *)
+(*    Hermite's identity : `⌊nx⌋ = \sum_(k < n) `⌊x + k / n⌋                  *)
 (*                                                                            *)
 (*    special case when n = 2 : `⌊2x⌋ - `⌊x⌋ = `⌈x⌋                           *)
 (******************************************************************************)
