Proofgold Proposition

∀ x0 x1 . x0 ⊆ V_ x1 ⟶ V_ x0 ⊆ V_ x1

type
prop

theory
HotG

name
V_Subq_2

proof
PUdSr..

Megalodon
-

proofgold address
TMMbz..

creator
11630 PrGxv../fe3e1..

owner
11630 PrGxv../fe3e1..

term root
c9fa8..