Proofgold Proposition

∀ x0 . x0 ∈ int ⟶ divides_int x0 x0

type
prop

theory
HotG

name
divides_int_ref

proof
PUfeH..

Megalodon
divides_int_ref

proofgold address
TMWTk..^{divides_int_ref}

creator
28313 Pr5Zc../1533e..

owner
28313 Pr5Zc../1533e..

term root
6f5bb..