PR #1075 doc(finsupp,category_theory): fixes

doc(finsupp,category_theory): fixes #1075

mergify merged 4 commits into master from doc

doc

62c6554a

update emb_domain doc string

823a8d04

fpvandoorn requested a review 6 years ago

typo

1d53437e

jcommelin approved these changes on 2019-05-23

jcommelin added ready-to-merge

Merge branch 'master' into 'doc'

fe23b272

mergify merged 15fecbdd into master 6 years ago

mergify deleted the doc branch 6 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone