Proofgold Proposition

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

type
prop

theory
HotG

name
V_In_or_Subq

proof
PUdSr..

Megalodon
-

proofgold address
TMJHq..

creator
11630 PrGxv../ddde1..

owner
11630 PrGxv../ddde1..

term root
d307a..