Proofgold Proposition

∀ x0 : ι → ι → ι → ο . (∀ x1 . 74e69.. x1 ⟶ x0 c4def.. x1 x1) ⟶ (∀ x1 x2 x3 x4 x5 . 762f0.. x4 x1 x2 ⟶ x0 x4 x1 x2 ⟶ 762f0.. x5 x2 x3 ⟶ x0 x5 x2 x3 ⟶ x0 (6b90c.. x4 x5) x1 x3) ⟶ (∀ x1 . 74e69.. x1 ⟶ x0 c9248.. x1 5e331..) ⟶ (∀ x1 x2 x3 x4 . 74e69.. x3 ⟶ 762f0.. x4 x1 x2 ⟶ x0 x4 x1 x2 ⟶ x0 (a6e19.. x4) x1 (a3eb9.. x2 x3)) ⟶ (∀ x1 x2 x3 x4 . 74e69.. x2 ⟶ 762f0.. x4 x1 x3 ⟶ x0 x4 x1 x3 ⟶ x0 (2fe34.. x4) x1 (a3eb9.. x2 x3)) ⟶ (∀ x1 x2 x3 x4 x5 x6 . 762f0.. x5 (bf68c.. x1 x3) x4 ⟶ x0 x5 (bf68c.. x1 x3) x4 ⟶ 762f0.. x6 (bf68c.. x2 x3) x4 ⟶ x0 x6 (bf68c.. x2 x3) x4 ⟶ x0 (3e00e.. x5 x6) (bf68c.. (a3eb9.. x1 x2) x3) x4) ⟶ (∀ x1 x2 x3 x4 x5 . 762f0.. x4 x1 x2 ⟶ x0 x4 x1 x2 ⟶ 762f0.. x5 x1 x3 ⟶ x0 x5 x1 x3 ⟶ x0 (f9341.. x4 x5) x1 (bf68c.. x2 x3)) ⟶ (∀ x1 x2 x3 x4 . 74e69.. x2 ⟶ 762f0.. x4 x1 x3 ⟶ x0 x4 x1 x3 ⟶ x0 (1fa6d.. x4) (bf68c.. x1 x2) x3) ⟶ (∀ x1 x2 x3 x4 . 74e69.. x1 ⟶ 762f0.. x4 x2 x3 ⟶ x0 x4 x2 x3 ⟶ x0 (3a365.. x4) (bf68c.. x1 x2) x3) ⟶ ∀ x1 x2 x3 . 762f0.. x1 x2 x3 ⟶ x0 x1 x2 x3

type
prop

theory
HOAS

name
-

proof
PUMPH..

Megalodon
-

proofgold address
TMHNJ..

creator
2096 PrGxv../47d3b..

owner
2096 PrGxv../47d3b..

term root
aca65..