Modular inverse
For n≥2, a has a multiplicative inverse modulo n exactly when gcd(a,n)=1; the inverse is unique as a residue class modulo n.
atlas-modular-inverse · 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
For n≥2, a has a multiplicative inverse modulo n exactly when gcd(a,n)=1; the inverse is unique as a residue class modulo n.
atlas-modular-inverse · canonical_mko