Theorem Polynomial.card_roots_toFinset_le_card_roots_derivative_diff_roots_succ

Modification history