Proofgold Proposition

∀ x0 . ba9d8.. x0 ⟶ ∀ x1 : ι → ι . (∀ x2 . prim1 x2 x0 ⟶ prim1 (x1 x2) x0) ⟶ (∀ x2 . prim1 x2 x0 ⟶ ∀ x3 . prim1 x3 x0 ⟶ x1 x2 = x1 x3 ⟶ x2 = x3) ⟶ bij x0 x0 x1

type
prop

theory
HoTg

name
-

proof
PUKrN..

Megalodon
-

proofgold address
TMEkd..

creator
2749 PrGxv../98432..

owner
2749 PrGxv../98432..

term root
350f8..