Proofgold Proposition

∀ x0 . x0 ∈ u4 ⟶ 247c9.. x0 ∈ u4

type
prop

theory
HotG

name
-

proof
PUfSu..

Megalodon
-

proofgold address
TMVSs..

creator
20353 Pr4zB../390e7..

owner
20353 Pr4zB../390e7..

term root
3cfa0..