Proofgold Proposition

∀ x0 . x0 ∈ u22 ⟶ 00974.. (55574.. x0)

type
prop

theory
HotG

name
-

proof
PUVxk..

Megalodon
-

proofgold address
TMNzp..

creator
31381 Pr4zB../eaf65..

owner
31381 Pr4zB../eaf65..

term root
f6ad4..