Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-16 10:58 eeef771d

View on Github →

chore(field_theory/ratfunc): has_scalar in terms of localization (#10828) Now that localization.has_scalar is general enough, fix a TODO

Estimated changes