Proofgold Proposition

∀ x0 . In 0 (Inj1 x0)

type
prop

theory
HF

name
-

proof
PUQAi..

Megalodon
Inj1I1

proofgold address
TMKTd..^Inj1I1

creator
1476 PrGxv../34b10..

owner
1476 PrGxv../34b10..

term root
9998e..