Proofgold Proposition

∀ x0 x1 . x0 ∈ V_ x1 ⟶ ∀ x2 : ο . (∀ x3 . x3 ∈ x1 ⟶ x0 ⊆ V_ x3 ⟶ x2) ⟶ x2

type
prop

theory
HotG

name
V_E

proof
PUdSr..

Megalodon
-

proofgold address
TMWgu..

creator
11630 PrGxv../58bda..

owner
11630 PrGxv../58bda..

term root
c6c23..