Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PURTb..

Megalodon
V_In_or_Subq

proofgold address
TMdJh..^V_In_or_Subq

creator
1889 PrGxv../fb88f..

owner
1889 PrGxv../fb88f..

term root
23725..