mathlib3
0743cc5d - chore(field_theory/separable_degree): golf a proof using `wlog` (#17952)

Commit

3 years ago

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

Author

urkud

urkud

Parents

Loading