Proofgold Proposition

∀ x0 x1 : ι → ι → ο . bb8e6.. x0 ⟶ bb8e6.. x1 ⟶ d478c.. x0 x1 32d20..

type
prop

theory
HOAS

name
-

proof
PUMyj..

Megalodon
-

proofgold address
TMYxq..

creator
2101 PrGxv../6223b..

owner
2106 PrGxv../d614c..

term root
09b7a..