Proofgold Proposition

type
prop

theory
HotG

name
SNoS_omega_real

proof
PUgvb..

Megalodon
SNoS_omega_real

proofgold address
TMJrZ..^{SNoS_omega_real}

creator
12283 PrGxv../4953d..

owner
12283 PrGxv../4953d..

term root
a469c..