Proofgold Proposition

wceq cen (copab (λ x0 x1 . wex (λ x2 . wf1o (cv x0) (cv x1) (cv x2))))

type
prop

theory
SetMM

name
df_en

proof
PUQ2W..

Megalodon
-

proofgold address
TMdPV..

creator
36396 PrCmT../1393d..

owner
36396 PrCmT../1393d..

term root
022f0..