Proofgold Proposition

wceq cuz (cmpt (λ x0 . cz) (λ x0 . crab (λ x1 . wbr (cv x0) (cv x1) cle) (λ x1 . cz)))

type
prop

theory
SetMM

name
df_uz

proof
PUSmC..

Megalodon
-

proofgold address
TMHbo..

creator
36397 PrCmT../b85ca..

owner
36397 PrCmT../b85ca..

term root
18fc3..