Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUMZ2..

Megalodon
-

proofgold address
TMZmG..

creator
11302 PrEBh../e5899..

owner
11302 PrEBh../e5899..

term root
5bd83..