Proofgold Proposition

wceq caa (ciun (λ x0 . cdif (cfv cz cply) (csn c0p)) (λ x0 . cima (ccnv (cv x0)) (csn cc0)))

type
prop

theory
SetMM

name
df_aa

proof
PUhRH..

Megalodon
-

proofgold address
TMNM6..

creator
36386 PrCmT../3f24b..

owner
36386 PrCmT../3f24b..

term root
4b18a..