Proofgold Proposition

wceq citg2 (cmpt (λ x0 . co (co cc0 cpnf cicc) cr cmap) (λ x0 . csup (cab (λ x1 . wrex (λ x2 . wa (wbr (cv x2) (cv x0) (cofr cle)) (wceq (cv x1) (cfv (cv x2) citg1))) (λ x2 . cdm citg1))) cxr clt))

type
prop

theory
SetMM

name
df_itg2

proof
PUa4n..

Megalodon
-

proofgold address
TMM1T..

creator
36386 PrCmT../0dfab..

owner
36386 PrCmT../0dfab..

term root
a252a..