Proofgold Proposition

wceq ccrd (cmpt (λ x0 . cvv) (λ x0 . cint (crab (λ x1 . wbr (cv x1) (cv x0) cen) (λ x1 . con0))))

type
prop

theory
SetMM

name
df_card

proof
PUhHD..

Megalodon
-

proofgold address
TMM8o..

creator
36397 PrCmT../e22ff..

owner
36397 PrCmT../e22ff..

term root
bf8a0..