Proofgold Proposition

∀ x0 : ι → ο . wceq (cio x0) (cuni (cab (λ x1 . wceq (cab x0) (csn (cv x1)))))

type
prop

theory
SetMM

name
df_iota

proof
PUaCV..

Megalodon
-

proofgold address
TMJvT..

creator
36396 PrCmT../5a96c..

owner
36396 PrCmT../5a96c..

term root
bb5c0..