Proofgold Proposition

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

type
prop

theory
SetMM

name
ax_frege2

proof
PUMZx..

Megalodon
-

proofgold address
TMYzY..

creator
36383 PrCmT../47aa8..

owner
36383 PrCmT../47aa8..

term root
5f46b..