Nuprl Definition : new_23_sig_headers_no_rep
new_23_sig_headers_no_rep(notify;propose) == no_repeats(Name;new_23_sig_headers(notify;propose))
Definitions occuring in Statement :
new_23_sig_headers: new_23_sig_headers(notify;propose),
name: Name,
no_repeats: no_repeats(T;l)
FDL editor aliases :
new_23_sig_headers_no_rep
Latex:
new\_23\_sig\_headers\_no\_rep(notify;propose) == no\_repeats(Name;new\_23\_sig\_headers(notify;propose))
Date html generated:
2016_05_17-PM-01_52_01
Last ObjectModification:
2013_11_23-PM-09_54_09
Theory : 2!3!consensus!with!signatures
Home
Index