Nuprl Definition : bm_listItemsi
bm_listItemsi(m) == bm_listItemsi_d2l(m) []
Definitions occuring in Statement :
bm_listItemsi_d2l: bm_listItemsi_d2l(m),
nil: [],
apply: f a
FDL editor aliases :
bm_listItemsi
Latex:
bm\_listItemsi(m) == bm\_listItemsi\_d2l(m) []
Date html generated:
2016_05_17-PM-01_42_41
Last ObjectModification:
2012_08_28-PM-01_03_56
Theory : binary-map
Home
Index