Proofgold Proposition

∀ x0 . x0 ∈ real ⟶ SNo x0

type
prop

theory
HotG

name
real_SNo

proof
PUgvb..

Megalodon
real_SNo

proofgold address
TMRda..^real_SNo

creator
12283 PrGxv../d694a..

owner
12283 PrGxv../d694a..

term root
17c3d..