doc: remove stray 'a' in doc comment about PMOD (#9918)

"congruent modulo a\`p\`" -> "congruent modulo \`p\`"
leanprover-community · Jan 22, 2024 · 69a8f62 · 69a8f62
1 parent ad024fe
commit 69a8f62
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Mathlib/Algebra/ModEq.lean b/Mathlib/Algebra/ModEq.lean
@@ -16,7 +16,7 @@ This file defines equality modulo an element in a commutative group.
 
 ## Main definitions
 
-* `a ≡ b [PMOD p]`: `a` and `b` are congruent modulo a`p`.
+* `a ≡ b [PMOD p]`: `a` and `b` are congruent modulo `p`.
 
 ## See also