mathlib
227c42d1 - doc(field_theory/minpoly): improve some doc-strings (#7336)

Commit

4 years ago

doc(field_theory/minpoly): improve some doc-strings (#7336) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents