Proofgold Proposition

∀ x0 x1 : ι → ο . wb (walsi x0 x1) (wa (∀ x2 . x0 x2 ⟶ x1 x2) (wex x0))

type
prop

theory
SetMM

name
df_alsi

proof
PUVbx..

Megalodon
-

proofgold address
TMXdt..

creator
36378 PrCmT../0e3ff..

owner
36378 PrCmT../0e3ff..

term root
8c877..