Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-03-13 21:18 ba6b6899

View on Github →

feat(field_theory/intermediate_field): coe_pow (#6626)

Estimated changes