Proofgold Proposition

∀ x0 x1 . In x1 (Inj0 x0) ⟶ ∀ x2 : ο . (∀ x3 . and (In x3 x0) (x1 = Inj1 x3) ⟶ x2) ⟶ 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..