Proofgold Proposition

∀ x0 : ι → ο . x0 5e331.. ⟶ (∀ x1 x2 . 74e69.. x1 ⟶ x0 x1 ⟶ 74e69.. x2 ⟶ x0 x2 ⟶ x0 (a3eb9.. x1 x2)) ⟶ (∀ x1 x2 . 74e69.. x1 ⟶ x0 x1 ⟶ 74e69.. x2 ⟶ x0 x2 ⟶ x0 (bf68c.. x1 x2)) ⟶ ∀ x1 . 74e69.. x1 ⟶ x0 x1

type
prop

theory
HOAS

name
-

proof
PUSb6..

Megalodon
-

proofgold address
TMNUL..

creator
2059 PrGxv../58e92..

owner
2059 PrGxv../58e92..

term root
9eb52..