Theorem Polynomial.card_roots_toFinset_le_derivative

Modification history