Nuprl Definition : Form
Form(C) == {p:Formco(C)| (Formco_size(p))↓}
Definitions occuring in Statement :
Formco_size: Formco_size(p),
Formco: Formco(C),
has-value: (a)↓,
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
Formco: Formco(C),
has-value: (a)↓,
Formco_size: Formco_size(p)
FDL editor aliases :
Form
Form
Latex:
Form(C) == \{p:Formco(C)| (Formco\_size(p))\mdownarrow{}\}
Date html generated:
2018_05_21-PM-10_42_07
Last ObjectModification:
2017_10_10-PM-04_33_02
Theory : PZF
Home
Index