Proofgold Proposition

∀ x0 x1 : ι → ο . wceq (cop x0 x1) (cab (λ x2 . w3a (wcel x0 cvv) (wcel x1 cvv) (wcel (cv x2) (cpr (csn x0) (cpr x0 x1)))))

type
prop

theory
SetMM

name
df_op

proof
PUQyb..

Megalodon
-

proofgold address
TMbsu..

creator
36397 PrCmT../fcc34..

owner
36397 PrCmT../fcc34..

term root
a8fe7..