mathlib
8ab1a39d - chore(field_theory/minpoly): meaningful variable names (#5773)

Commit

4 years ago

chore(field_theory/minpoly): meaningful variable names (#5773)

Author

jcommelin

jcommelin

Parents

Loading