Nuprl Definition : CLK_headers_no_rep
CLK_headers_no_rep() == no_repeats(Name;CLK_headers())
Definitions occuring in Statement :
CLK_headers: CLK_headers(),
name: Name,
no_repeats: no_repeats(T;l)
FDL editor aliases :
CLK_headers_no_rep
Latex:
CLK\_headers\_no\_rep() == no\_repeats(Name;CLK\_headers())
Date html generated:
2015_07_23-PM-04_09_36
Last ObjectModification:
2013_11_23-PM-09_22_05
Home
Index