Proofgold Proposition

wceq ctvc (crab (λ x0 . wcel (cfv (cv x0) csca) ctdrg) (λ x0 . ctlm))

type
prop

theory
SetMM

name
df_tvc

proof
PUNQ5..

Megalodon
-

proofgold address
TMbiL..

creator
36378 PrCmT../60ad7..

owner
36378 PrCmT../60ad7..

term root
43d3b..