Proofgold Proposition

type
prop

theory
HotG

name
real_complex

proof
PUNr2..

Megalodon
real_complex

proofgold address
TMRyM..^real_complex

creator
12547 PrGxv../31207..

owner
12547 PrGxv../31207..

term root
882e3..