Proofgold Proposition

∀ x0 . 1013b.. x0 ⟶ ∀ x1 : ι → ο . (∀ x2 x3 . 80242.. x2 ⟶ 80242.. x3 ⟶ x0 = 236dc.. x2 x3 ⟶ x1 (236dc.. x2 x3)) ⟶ x1 x0

type
prop

theory
HoTg

name
-

proof
PUfBi..

Megalodon
-

proofgold address
TMNWz..

creator
3879 PrGxv../032ce..

owner
3879 PrGxv../032ce..

term root
6430b..