mathlib3
fix(algebra/char_p): typo in docstring
#1537
Merged

fix(algebra/char_p): typo in docstring #1537

mergify merged 1 commit into master from kbuzzard-patch-1
kbuzzard
kbuzzard fix(algebra/char_p): typo in docstring
e4aee439
jcommelin
jcommelin approved these changes on 2019-10-11
jcommelin jcommelin added ready-to-merge
mergify mergify merged 338146b7 into master 6 years ago
mergify mergify deleted the kbuzzard-patch-1 branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone