Proofgold Proposition

wceq ctc (cmpt (λ x0 . cvv) (λ x0 . cint (cab (λ x1 . wa (wss (cv x0) (cv x1)) (wtr (cv x1))))))

type
prop

theory
SetMM

name
df_tc

proof
PUhHD..

Megalodon
-

proofgold address
TMUjR..

creator
36397 PrCmT../e5942..

owner
36397 PrCmT../e5942..

term root
a7d53..