Proofgold Proposition

wceq carg (cmpt (λ x0 . cdif cccbar (csn cc0)) (λ x0 . cif (wcel (cv x0) cc) (cfv (cfv (cv x0) clog) cim) (cfv (cv x0) c1st)))

type
prop

theory
SetMM

name
df_bj_arg

proof
PUUUJ..

Megalodon
-

proofgold address
TMaEH..

creator
36376 PrCmT../4f7a5..

owner
36376 PrCmT../4f7a5..

term root
277cf..