Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι → ο . x1 4a7ef.. x0 ⟶ (∀ x2 . ba9d8.. x2 ⟶ ∀ x3 . aa8d2.. x2 x0 x3 ⟶ x1 x2 x3 ⟶ x1 (4ae4a.. x2) (prim3 x3)) ⟶ ∀ x2 x3 . ba9d8.. x2 ⟶ aa8d2.. x2 x0 x3 ⟶ x1 x2 x3

type
prop

theory
HoTg

name
-

proof
PUUEj..

Megalodon
-

proofgold address
TMQ6w..

creator
2699 PrGxv../e6746..

owner
2699 PrGxv../e6746..

term root
1fe1f..