Proofgold Proposition

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

type
prop

theory
SetMM

name
ax_frege28

proof
PUQPq..

Megalodon
-

proofgold address
TMKNw..

creator
36399 PrCmT../ceb6f..

owner
36399 PrCmT../ceb6f..

term root
2562c..