Proofgold Proposition

∀ x0 x1 : ο . x0 ⟶ x1 ⟶ x0

type
prop

theory
SetMM

name
ax_frege1

proof
PUMZx..

Megalodon
-

proofgold address
TMLgS..

creator
36383 PrCmT../728ba..

owner
36383 PrCmT../728ba..

term root
13dca..