Proofgold Proposition

∀ x0 : ο . x0 ⟶ 0 ∈ If_i x0 1 0

type
prop

theory
HotG

name
-

proof
PUZw1..

Megalodon
-

proofgold address
TMGJy..

creator
48789 PrMzh../d6fce..

owner
48789 PrMzh../d6fce..

term root
f3bbe..