Proofgold Proposition

∀ x0 x1 . 02b90.. x0 x1 ⟶ ∀ x2 . 80242.. x2 ⟶ (∀ x3 . prim1 x3 x0 ⟶ 099f3.. x3 x2) ⟶ (∀ x3 . prim1 x3 x1 ⟶ 099f3.. x2 x3) ⟶ and (Subq (e4431.. (02a50.. x0 x1)) (e4431.. x2)) (SNoEq_ (e4431.. (02a50.. x0 x1)) (02a50.. x0 x1) x2)

type
prop

theory
HoTg

name
-

proof
PURFE..

Megalodon
-

proofgold address
TMJ1F..

creator
2815 PrGxv../53e4e..

owner
2815 PrGxv../53e4e..

term root
34fa0..