mathlib3
15fecbdd - doc(finsupp,category_theory): fixes (#1075)

Commit

6 years ago

doc(finsupp,category_theory): fixes (#1075) * doc * update emb_domain doc string * typo

References

Author

fpvandoorn

Committer

mergify[bot]

Parents