Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-12-21 07:58 0743cc5d

View on Github →

chore(field_theory/separable_degree): golf a proof using wlog (#17952)

Estimated changes