Proofgold Proposition

1 ∈ real

type
prop

theory
HotG

name
real_1

proof
PUePc..

Megalodon
real_1

proofgold address
TMGz8..^real_1

creator
12443 PrGxv../022e7..

owner
12443 PrGxv../022e7..

term root
bbf72..