Proofgold Proposition

∀ x0 : ι → ο . wceq (cs1 x0) (csn (cop cc0 (cfv x0 cid)))

type
prop

theory
SetMM

name
df_s1

proof
PUgqy..

Megalodon
-

proofgold address
TMat7..

creator
36396 PrCmT../9abe2..

owner
36396 PrCmT../9abe2..

term root
25aee..