Griesmer bound (source code)

= Griesmer bound
{wiki=Griesmer_bound}