Mathlib v3 is deprecated. Go to Mathlib v4

Theorem mv_polynomial.no_zero_divisors_of_finite

Modification history