Mathlib v3 is deprecated. Go to Mathlib v4

Theorem num_is_root_scale_roots_of_aeval_eq_zero

Modification history

2020-07-03 23:00
src/ring_theory/polynomial/rational_root.lean
feat(ring_theory/polynomial): rational root theorem and integral root theorem (#3241) …
Added num_is_root_scale_roots_of_aeval_eq_zeroView on Github →