Proofgold Proposition

wceq ccllaw (copab (λ x0 x1 . wral (λ x2 . wral (λ x3 . wcel (co (cv x2) (cv x3) (cv x0)) (cv x1)) (λ x3 . cv x1)) (λ x2 . cv x1)))

type
prop

theory
SetMM

name
df_cllaw

proof
PUPG8..

Megalodon
-

proofgold address
TMdo5..

creator
36377 PrCmT../54eeb..

owner
36377 PrCmT../54eeb..

term root
421b0..