Proofgold Proposition

∀ x0 x1 x2 x3 x4 . ∀ x5 : ι → ο . x5 x0 ⟶ x5 x1 ⟶ x5 x2 ⟶ x5 x3 ⟶ x5 x4 ⟶ ∀ x6 . x6 ∈ SetAdjoin (SetAdjoin (SetAdjoin (UPair x0 x1) x2) x3) x4 ⟶ x5 x6

type
prop

theory
HotG

name
-

proof
PUbqv..

Megalodon
-

proofgold address
TMLaJ..

creator
22292 Pr4zB../4ea95..

owner
22292 Pr4zB../4ea95..

term root
68f81..