Proofgold Proposition

∀ x0 . prim1 x0 48ef8.. ⟶ ∀ x1 . prim1 x1 48ef8.. ⟶ prim1 (bc82c.. x0 x1) 48ef8..

type
prop

theory
HoTg

name
-

proof
PUXVB..

Megalodon
-

proofgold address
TMb57..

creator
3938 PrGxv../b1b7a..

owner
3938 PrGxv../b1b7a..

term root
41bcf..