mathlib3
04aeb019 - feat(data/polynomial/ring_division): roots.le_of_dvd (#11025)

Commit

4 years ago

feat(data/polynomial/ring_division): roots.le_of_dvd (#11025)

Author

ericrbg

ericrbg

Parents

Loading