Proofgold Proposition

∀ x0 : ι → ι → ο . x0 0 u2 ⟶ x0 u4 u6 ⟶ x0 u1 u12 ⟶ x0 u5 u12 ⟶ x0 u8 u12 ⟶ x0 u9 u12 ⟶ x0 u3 u13 ⟶ x0 u7 u13 ⟶ x0 u10 u13 ⟶ x0 u2 u14 ⟶ x0 u6 u14 ⟶ x0 u11 u14 ⟶ x0 0 u15 ⟶ x0 u4 u15 ⟶ ∀ x1 . x1 ⊆ u16 ⟶ atleastp u6 x1 ⟶ u12 ∈ x1 ⟶ u13 ∈ x1 ⟶ u14 ∈ x1 ⟶ (∀ x2 . x2 ∈ x1 ⟶ ∀ x3 . x3 ∈ x1 ⟶ not (x0 x2 x3)) ⟶ False

type
prop

theory
HotG

name
-

proof
PUYvD..

Megalodon
-

proofgold address
TMQEp..

creator
19045 Pr4zB../51675..

owner
19045 Pr4zB../51675..

term root
0397a..