Proofgold Proposition

∀ x0 . ordinal x0 ⟶ ∀ x1 . ordinal x1 ⟶ ∀ x2 . prim1 x2 x1 ⟶ prim1 (bc82c.. x0 x2) (bc82c.. x0 x1)

type
prop

theory
HoTg

name
-

proof
PUXVB..

Megalodon
-

proofgold address
TMRLR..

creator
3938 PrGxv../94499..

owner
3938 PrGxv../94499..

term root
7e22d..