Proofgold Proposition

∀ x0 : ο . x0 ⟶ cprvb x0

type
prop

theory
SetMM

name
ax_prv1

proof
PUVbZ..

Megalodon
-

proofgold address
TMWZr..

creator
36377 PrCmT../20f18..

owner
36377 PrCmT../20f18..

term root
489f5..