mathlib3
e250eb41 - feat(category/schur): a small corollary of the baby schur's lemma (#3239)

Commit

5 years ago

feat(category/schur): a small corollary of the baby schur's lemma (#3239) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents