Proofgold Proposition

∀ x0 x1 : ι → ο . wceq (cgox x0 x1) (cgon (cgol (cgon x0) x1))

type
prop

theory
SetMM

name
df_goex

proof
PUfj2..

Megalodon
-

proofgold address
TMPPU..

creator
36377 PrCmT../cb4dc..

owner
36377 PrCmT../cb4dc..

term root
f4993..