Proofgold Proposition

wceq cgoo (cmpt2 (λ x0 x1 . cvv) (λ x0 x1 . cvv) (λ x0 x1 . co (cgon (cv x0)) (cv x1) cgoi))

type
prop

theory
SetMM

name
df_goor

proof
PUfj2..

Megalodon
-

proofgold address
TMS2D..

creator
36377 PrCmT../594b7..

owner
36377 PrCmT../594b7..

term root
88a38..