Proofgold Proposition

∀ x0 x1 x2 . x1 ∈ x2 ⟶ x0 ⊆ V_ x1 ⟶ x0 ∈ V_ x2

type
prop

theory
HotG

name
V_I

proof
PUdSr..

Megalodon
-

proofgold address
TMbKj..

creator
11630 PrGxv../c3583..

owner
11630 PrGxv../c3583..

term root
85620..