Proofgold Proposition

∀ x0 x1 x2 : ι → ο . wceq (cstrset x0 x1 x2) (cun (cres x2 (cdif cvv (csn (cfv cnx x0)))) (csn (cop (cfv cnx x0) x1)))

type
prop

theory
SetMM

name
df_strset

proof
PUUUJ..

Megalodon
-

proofgold address
TMUjd..

creator
36376 PrCmT../e0a3c..

owner
36376 PrCmT../e0a3c..

term root
7e4c8..