Proofgold Proposition

∀ x0 x1 . In x1 (Inj0 x0) ⟶ ∃ x2 . and (In x2 x0) (x1 = Inj1 x2)

type
prop

theory
HF

name
-

proof
PUQAi..

Megalodon
Inj0E

proofgold address
TMPGz..^Inj0E

creator
1476 PrGxv../3d48f..

owner
1476 PrGxv../3d48f..

term root
4e401..