Proofgold Proposition

∀ x0 . 90aea.. x0 ⟶ ∀ x1 : ι → ο . (∀ x2 . ∀ x3 : ι → ι → ο . x2 = 0 ⟶ x1 (pack_r x2 x3)) ⟶ x1 x0

type
prop

theory
HotG

name
-

proof
PUMZ2..

Megalodon
-

proofgold address
TMMYc..

creator
11302 PrEBh../e9c78..

owner
11302 PrEBh../e9c78..

term root
2dc9e..