Nuprl Definition : pv11_p1_headers_no_rep
pv11_p1_headers_no_rep() == no_repeats(Name;pv11_p1_headers())
Definitions occuring in Statement :
pv11_p1_headers: pv11_p1_headers(),
name: Name,
no_repeats: no_repeats(T;l)
FDL editor aliases :
pv11_p1_headers_no_rep
Latex:
pv11\_p1\_headers\_no\_rep() == no\_repeats(Name;pv11\_p1\_headers())
Date html generated:
2015_07_23-PM-04_11_06
Last ObjectModification:
2014_11_26-AM-11_22_24
Home
Index