Proofgold Proposition

∀ x0 . dac20.. x0 ⟶ d7e73.. x0

type
prop

theory
HoTg

name
-

proof
PULFy..

Megalodon
-

proofgold address
TMTwh..

creator
4808 PrGxv../2d10f..

owner
4808 PrGxv../2d10f..

term root
68192..