Proofgold Proposition

∀ x0 x1 x2 : ι → ο . wceq (c_bnj14 x0 x1 x2) (crab (λ x3 . wbr (cv x3) x2 x1) (λ x3 . x0))

type
prop

theory
SetMM

name
df_bnj14

proof
PUgtu..

Megalodon
-

proofgold address
TMFYb..

creator
36399 PrCmT../4b11e..

owner
36399 PrCmT../4b11e..

term root
7ee8f..