Proofgold Proposition

∀ x0 x1 x2 . In x2 x0 ⟶ In (Inj0 x2) (binrep x0 x1)

type
prop

theory
HF

name
-

proof
PUXHR..

Megalodon
binrep_I1

proofgold address
TMV66..^binrep_I1

creator
2279 PrGxv../9ec42..

owner
2279 PrGxv../9ec42..

term root
11352..