Proofgold Object

λ x0 x1 . gcd_reln x0 x1 1

type
ι → ι → ο

theory
HotG

name
coprime_int

definition
PUVXT..

Megalodon
-

proofgold address
TMYDn..

creator
29757 PrQUS../649e5..

owner
29757 PrQUS../649e5..

term root
d973d..