Proofgold Proposition

∀ x0 x1 . or (V_ x0 ∈ V_ x1) (V_ x1 ⊆ V_ x0)

type
prop

theory
HotG

name
V_In_or_Subq_2

proof
PUdSr..

Megalodon
-

proofgold address
TMcxT..

creator
11630 PrGxv../3c1e4..

owner
11630 PrGxv../3c1e4..

term root
d0ac3..