Proofgold Object

λ x0 . and (x0 ∈ int) (divides_int 2 x0)

type
ι → ο

theory
HotG

name
-

definition
PUTZ7..

Megalodon
-

proofgold address
TMaFD..

creator
28951 Pr5Zc../f4164..

owner
28951 Pr5Zc../f4164..

term root
d0ab5..