Apply suggestion from @felixpernegger

felixpernegger · web-flow · commit 3af82491ef6f · 2026-06-19T19:45:52.000+02:00
diff --git a/theorems/T000912.md b/theorems/T000912.md
@@ -8,4 +8,4 @@ then:
   P000078: true
 ---
 
-Follows from Kolmogorov quotient being finite.
+Follows from the Kolmogorov quotient being finite.
