Proofgold Proposition

∀ x0 x1 x2 . In x1 x2 ⟶ Subq x0 (V_ x1) ⟶ In x0 (V_ x2)

type
prop

theory
HF

name
-

proof
PURTb..

Megalodon
V_I

proofgold address
TMNNt..^V_I

creator
1889 PrGxv../7f27d..

owner
1889 PrGxv../7f27d..

term root
a2c3f..