Proofgold Proposition

∀ x0 x1 . In x0 (V_ x1) ⟶ ∀ x2 : ο . (∀ x3 . In x3 x1 ⟶ Subq x0 (V_ x3) ⟶ x2) ⟶ x2

type
prop

theory
HF

name
-

proof
PURTb..

Megalodon
V_E

proofgold address
TMMd2..^V_E

creator
1889 PrGxv../73345..

owner
1889 PrGxv../73345..

term root
36875..