Greatest common divisor and coprimality
The natural number gcd(a,b) divides both a and b and is divisible by every common divisor; the inputs are coprime when their gcd is 1.
atlas-gcd-coprime · canonical_mko
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data
The natural number gcd(a,b) divides both a and b and is divisible by every common divisor; the inputs are coprime when their gcd is 1.
atlas-gcd-coprime · canonical_mko