Proofgold Proposition

∀ x0 x1 : ι → ι → ι → ο . (∀ x2 x3 . (∀ x4 . wb (wcel (cv x4) (cv x2)) (wcel (cv x4) (cv x3))) ⟶ wceq (cv x2) (cv x3)) ⟶ ∀ x2 x3 . wb (wceq (x0 x2 x3) (x1 x2 x3)) (∀ x4 . wb (wcel (cv x4) (x0 x2 x3)) (wcel (cv x4) (x1 x2 x3)))

type
prop

theory
SetMM

name
df_cleq

proof
PUcqv..

Megalodon
-

proofgold address
TMPpv..

creator
36396 PrCmT../decbd..

owner
36396 PrCmT../decbd..

term root
55b61..