Proofgold Proposition

wceq cperf (crab (λ x0 . wceq (cfv (cuni (cv x0)) (cfv (cv x0) clp)) (cuni (cv x0))) (λ x0 . ctop))

type
prop

theory
SetMM

name
df_perf

proof
PUaM6..

Megalodon
-

proofgold address
TMHhu..

creator
36385 PrCmT../53080..

owner
36385 PrCmT../53080..

term root
6ba06..