Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUMZ2..

Megalodon
-

proofgold address
TMbC8..

creator
11302 PrEBh../93caa..

owner
11302 PrEBh../93caa..

term root
e4a7e..