Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUMZ2..

Megalodon
-

proofgold address
TMPsm..

creator
11302 PrEBh../e9cf8..

owner
11302 PrEBh../e9cf8..

term root
bbb55..