Proofgold Proposition

∀ x0 : ο . x0 ⟶ ∀ x1 . x0

type
prop

theory
SetMM

name
ax_5

proof
PUXbo..

Megalodon
-

proofgold address
TMVFV..

creator
36397 PrCmT../219f7..

owner
36397 PrCmT../219f7..

term root
7cc29..