Proofgold Proposition

∀ x0 x1 : ι → ο . wceq (cgol x0 x1) (cop c2o (cop x1 x0))

type
prop

theory
SetMM

name
df_goal

proof
PUfj2..

Megalodon
-

proofgold address
TMGo9..

creator
36377 PrCmT../0a687..

owner
36377 PrCmT../0a687..

term root
8b54c..