Proofgold Proposition

∀ x0 . x0 ∈ int ⟶ divides_int 1 x0

type
prop

theory
HotG

name
divides_int_1

proof
PUZgE..

Megalodon
divides_int_1

proofgold address
TMLph..^{divides_int_1}

creator
28850 Pr5Zc../f3cb8..

owner
28850 Pr5Zc../f3cb8..

term root
c86e0..