shapes): doc typo [ci skip]
#1406

Merged

fix(category_theory/limits/shapes): doc typo [ci skip] #1406

ChrisHughes24 merged 1 commit into master from rwbarton-patch-1

fix(category_theory/limits/shapes): doc typo [ci skip]

2653475e

rwbarton requested a review 6 years ago

jcommelin approved these changes on 2019-09-06

jcommelin added ready-to-merge

ChrisHughes24 merged a7f268b8 into master 6 years ago

ChrisHughes24 deleted the rwbarton-patch-1 branch 6 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone