Proofgold Proposition

∀ x0 . c2f57.. (4326e.. x0)

type
prop

theory
HoTg

name
-

proof
PUanJ..

Megalodon
-

proofgold address
TMGE3..

creator
2190 PrGxv../8f438..

owner
2190 PrGxv../8f438..

term root
87135..