Proofgold Proposition

wceq cbday (cmpt (λ x0 . csur) (λ x0 . cdm (cv x0)))

type
prop

theory
SetMM

name
df_bday

proof
PUcix..

Megalodon
-

proofgold address
TMZ4K..

creator
36378 PrCmT../d650f..

owner
36378 PrCmT../d650f..

term root
46e7a..