Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.is_coprime_X_sub_C_of_is_unit_sub

Modification history