mathlib3
fix(data/list/min_max): docs typo
#1504
Merged

fix(data/list/min_max): docs typo #1504

mergify merged 2 commits into master from typo-fix
minchaowu
minchaowu fix(data/list/min_max): docs typo
7a63f337
jcommelin
jcommelin approved these changes on 2019-10-04
ChrisHughes24 ChrisHughes24 added ready-to-merge
mergify[bot] Merge branch 'master' into typo-fix
7f88c4e0
mergify mergify merged 2f1bd1e5 into master 6 years ago
mergify mergify deleted the typo-fix branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone