Proofgold Proposition

∀ x0 . prim1 x0 48ef8.. ⟶ ∀ x1 . prim1 x1 48ef8.. ⟶ 616bf.. x0 x1 = bc82c.. x0 x1

type
prop

theory
HoTg

name
-

proof
PUXVB..

Megalodon
-

proofgold address
TMXxS..

creator
3938 PrGxv../d9368..

owner
3938 PrGxv../d9368..

term root
1784a..