Proofgold Proposition

wceq cufl (cab (λ x0 . wral (λ x1 . wrex (λ x2 . wss (cv x1) (cv x2)) (λ x2 . cfv (cv x0) cufil)) (λ x1 . cfv (cv x0) cfil)))

type
prop

theory
SetMM

name
df_ufl

proof
PUVho..

Megalodon
-

proofgold address
TMaYD..

creator
36383 PrCmT../ffca7..

owner
36383 PrCmT../ffca7..

term root
3b3b0..