Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-01-09 10:07 af735a56

View on Github →

feat(field_theory/finite): field_of_integral_domain (#579)

Estimated changes