Proofgold Proposition

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

type
prop

theory
HoTg

name
-

proof
PUUWv..

Megalodon
-

proofgold address
TMNfK..

creator
3919 PrGxv../f93c4..

owner
3919 PrGxv../f93c4..

term root
f118e..