Proofgold Proposition

∀ x0 : ι → ο . wb (weu x0) (wex (λ x1 . ∀ x2 . wb (x0 x2) (wceq (cv x2) (cv x1))))

type
prop

theory
SetMM

name
df_eu

proof
PUcqv..

Megalodon
-

proofgold address
TMEuL..

creator
36396 PrCmT../33f91..

owner
36396 PrCmT../33f91..

term root
6b863..