mathlib
87b0084b - chore(field_theory/separable): generalize theorems (#10337)

Commit

4 years ago

chore(field_theory/separable): generalize theorems (#10337) Co-authored-by: Eric <37984851+ericrbg@users.noreply.github.com>

Author

ericrbg

Parents