Proofgold Proposition

wceq ctail (cmpt (λ x0 . cdir) (λ x0 . cmpt (λ x1 . cuni (cuni (cv x0))) (λ x1 . cima (cv x0) (csn (cv x1)))))

type
prop

theory
SetMM

name
df_tail

proof
PUf8C..

Megalodon
-

proofgold address
TMcci..

creator
36388 PrCmT../d6091..

owner
36388 PrCmT../d6091..

term root
07b35..