Proofgold Proposition

∀ x0 x1 x2 : ο . (x0 ⟶ x1 ⟶ x2) ⟶ x1 ⟶ x0 ⟶ x2

type
prop

theory
SetMM

name
ax_frege8

proof
PUQPq..

Megalodon
ax_frege8

proofgold address
TMVVk..^ax_frege8

creator
36399 PrCmT../22bc3..

owner
36399 PrCmT../22bc3..

term root
a5ffb..