mathlib

cdf97dcc - refactor(field_theory): preparations for Chevalley–Warning (#2590)

refactor(field_theory): preparations for Chevalley–Warning (#2590) This PR adds some preparations for the Chevalley–Warning theorem. depends on: ~#2606, #2607, #2623~ Co-authored-by: Bryan Gin-ge Chen <bryangingechen@gmail.com>