Proofgold Proposition

∀ x0 . Subq x0 x0

type
prop

theory
HF

name
-

proof
PUNKw..

Megalodon
Subq_ref

proofgold address
TMXvD..^Subq_ref

creator
628 Pr4Ru../68a2d..

owner
628 Pr4Ru../68a2d..

term root
d8898..