mathlib

89bd4ffd - Merge remote-tracking branch 'origin/vieta_multiset' into cubic-discr