Proofgold Proposition

∀ x0 : ι → ο . wceq (cgon x0) (co x0 x0 cgna)

type
prop

theory
SetMM

name
df_gonot

proof
PUfj2..

Megalodon
-

proofgold address
TMMpY..

creator
36377 PrCmT../9ade3..

owner
36377 PrCmT../9ade3..

term root
11639..