Proofgold Proposition

∀ x0 . not (empty_p x0) ⟶ ∀ x1 . 4326e.. x0 x1 ⟶ prim1 x1 x0

type
prop

theory
HoTg

name
-

proof
PUanJ..

Megalodon
-

proofgold address
TMVJ8..

creator
2190 PrGxv../a9daa..

owner
2190 PrGxv../a9daa..

term root
81e24..