Proofgold Proposition

∀ x0 . Subq x0 (V_ x0)

type
prop

theory
HF

name
-

proof
PURTb..

Megalodon
V_Subq

proofgold address
TMGRy..^V_Subq

creator
1889 PrGxv../47b14..

owner
1889 PrGxv../47b14..

term root
e77e4..