Proofgold Proposition

∀ x0 . x0 ∈ u11 ⟶ ∀ x1 : ι → ο . x1 0 ⟶ x1 u1 ⟶ x1 u2 ⟶ x1 u3 ⟶ x1 u4 ⟶ x1 u5 ⟶ x1 u6 ⟶ x1 u7 ⟶ x1 u8 ⟶ x1 u9 ⟶ x1 u10 ⟶ x1 x0

type
prop

theory
HotG

name
-

proof
PUXRf..

Megalodon
-

proofgold address
TMQ7Q..

creator
18009 Pr4zB../33438..

owner
18009 Pr4zB../33438..

term root
16a58..