Proofgold Proposition

wceq cgoa (cmpt2 (λ x0 x1 . cvv) (λ x0 x1 . cvv) (λ x0 x1 . cgon (co (cv x0) (cv x1) cgna)))

type
prop

theory
SetMM

name
df_goan

proof
PUfj2..

Megalodon
-

proofgold address
TMb8S..

creator
36377 PrCmT../34672..

owner
36377 PrCmT../34672..

term root
d3aa6..