Proofgold Proposition

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

type
prop

theory
SetMM

name
ax_mp

proof
PUMZx..

Megalodon
ax_mp

proofgold address
TMdbJ..^ax_mp

creator
36383 PrCmT../0f976..

owner
36383 PrCmT../0f976..

term root
261f3..