Proofgold Proposition

type
prop

theory
HotG

name
real_complex

proof
PURry..

Megalodon
real_complex

proofgold address
TMdgT..^real_complex

creator
28463 PrQUS../5a14b..

owner
28463 PrQUS../5a14b..

term root
2e80d..