Proofgold Proposition

wceq crtrcl (cmpt (λ x0 . cvv) (λ x0 . ciun (λ x1 . cn0) (λ x1 . co (cv x0) (cv x1) crelexp)))

type
prop

theory
SetMM

name
df_rtrclrec

proof
PUWCs..

Megalodon
-

proofgold address
TMTsY..

creator
36397 PrCmT../002a5..

owner
36397 PrCmT../002a5..

term root
55394..