Proofgold Proposition

∀ x0 . x0 ∈ u4 ⟶ 3ffd5.. x0 ∈ u4

type
prop

theory
HotG

name
-

proof
PUKEu..

Megalodon
-

proofgold address
TMVw4..

creator
20354 Pr4zB../3ebb2..

owner
20354 Pr4zB../3ebb2..

term root
cacb7..