Proofgold Proposition

∀ x0 x1 x2 x3 x4 x5 x6 x7 : ι → ο . wceq (cs8 x0 x1 x2 x3 x4 x5 x6 x7) (co (cs7 x0 x1 x2 x3 x4 x5 x6) (cs1 x7) cconcat)

type
prop

theory
SetMM

name
df_s8

proof
PUgqy..

Megalodon
-

proofgold address
TMGyE..

creator
36396 PrCmT../739fd..

owner
36396 PrCmT../739fd..

term root
9b388..