Proofgold Proposition

wceq cr1 (crdg (cmpt (λ x0 . cvv) (λ x0 . cpw (cv x0))) c0)

type
prop

theory
SetMM

name
df_r1

proof
PUhHD..

Megalodon
-

proofgold address
TMSe1..

creator
36397 PrCmT../67601..

owner
36397 PrCmT../67601..

term root
d56df..