Proofgold Proposition

∀ x0 : ο . x0 ⟶ bd0b9.. (896e2.. x0)

type
prop

theory
HoTg

name
-

proof
PUK9b..

Megalodon
-

proofgold address
TMWqH..

creator
3656 PrGxv../87c30..

owner
3656 PrGxv../87c30..

term root
59185..