Proofgold Proposition

0 ∈ real

type
prop

theory
HotG

name
real_0

proof
PUePc..

Megalodon
real_0

proofgold address
TMGNb..^real_0

creator
12443 PrGxv../57f2d..

owner
12443 PrGxv../57f2d..

term root
53bbc..