mathlib3
e001509c - feat(field_theory/chevalley_warning): Binary version (#18083)

Commit

2 years ago

feat(field_theory/chevalley_warning): Binary version (#18083) Derive the two multivariate polynomials version of Chevalley-Warning from the general one.

Author

YaelDillies

Parents

e7bab9a8

mathlib3 e001509c - feat(field_theory/chevalley_warning): Binary version (#18083)

mathlib3
e001509c - feat(field_theory/chevalley_warning): Binary version (#18083)