Skip to content
GitLab

Minor documentation fixes

Merged Ghost User requested to merge archived_projects/coq-stdpp:docfixes into master

Corrected typeclass names in some of the documentation.