Proofgold Proposition

∀ x0 x1 . or (In (V_ x0) (V_ x1)) (Subq (V_ x1) (V_ x0))

type
prop

theory
HF

name
-

proof
PURTb..

Megalodon
V_In_or_Subq_2

proofgold address
TMa9Z..^{V_In_or_Subq_2}

creator
1889 PrGxv../5b058..

owner
1889 PrGxv../5b058..

term root
55f35..