Proofgold Proposition

wceq cwunm (cmpt (λ x0 . cvv) (λ x0 . cint (crab (λ x1 . wss (cv x0) (cv x1)) (λ x1 . cwun))))

type
prop

theory
SetMM

name
df_wunc

proof
PUYnQ..

Megalodon
-

proofgold address
TMK2t..

creator
36397 PrCmT../c6082..

owner
36397 PrCmT../c6082..

term root
645fa..