Proofgold Proposition

∀ x0 . ordinal x0 ⟶ ∀ x1 . prim1 x1 (56ded.. x0) ⟶ ∀ x2 : ο . (prim1 (e4431.. x1) x0 ⟶ ordinal (e4431.. x1) ⟶ 80242.. x1 ⟶ 1beb9.. (e4431.. x1) x1 ⟶ x2) ⟶ x2

type
prop

theory
HoTg

name
-

proof
PURFE..

Megalodon
-

proofgold address
TMFmB..

creator
2815 PrGxv../37b4c..

owner
2815 PrGxv../37b4c..

term root
cd21c..