Fix typo in lemma name

Merged Paolo G. Giarrusso requested to merge Blaisorblade/stdpp:fix-typos into master

Does this need a changelog?

Edited by Paolo G. Giarrusso

Merge request reports