Proofgold Proposition

wceq cvrmd (cmpt (λ x0 . cvv) (λ x0 . cmpt (λ x1 . cv x0) (λ x1 . cs1 (cv x1))))

type
prop

theory
SetMM

name
df_vrmd

proof
PUf8C..

Megalodon
-

proofgold address
TMWH2..

creator
36388 PrCmT../688f2..

owner
36388 PrCmT../688f2..

term root
30566..