Proofgold Proposition

∀ x0 x1 x2 . In x2 (binrep x0 x1) ⟶ ∀ x3 : ι → ο . (∀ x4 . In x4 x0 ⟶ x3 (Inj0 x4)) ⟶ (∀ x4 . Subq x4 x1 ⟶ x3 (Inj1 x4)) ⟶ x3 x2

type
prop

theory
HF

name
-

proof
PUXHR..

Megalodon
binrep_E

proofgold address
TMVRf..^binrep_E

creator
2279 PrGxv../377ed..

owner
2279 PrGxv../377ed..

term root
5aee2..