mathlib
792faaed - chore(data/polynomial): missing a simp attribute (#3381)

Commit

6 years ago

chore(data/polynomial): missing a simp attribute (#3381) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents