From 1c0980ba6319c7bc315e479bfb639f0a480d52af Mon Sep 17 00:00:00 2001
From: Lilith Orion Hafner <lilithhafner@gmail.com>
Date: Thu, 30 Jan 2025 13:35:01 -0600
Subject: [PATCH] Clarify mathematical definition of `gcd`

---
 base/intfuncs.jl | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/base/intfuncs.jl b/base/intfuncs.jl
index dc81f2bd3e489..bb0f454d9c574 100644
--- a/base/intfuncs.jl
+++ b/base/intfuncs.jl
@@ -8,6 +8,9 @@
 Greatest common (positive) divisor (or zero if all arguments are zero).
 The arguments may be integer and rational numbers.
 
+``a`` is a divisor of ``b`` if there exists an integer ``m`` such
+that ``ma=b``.
+
 !!! compat "Julia 1.4"
     Rational arguments require Julia 1.4 or later.