feat(NumberTheory/ArithmeticStatistics/Reducible): Counting reducible polynomials#37663

khwilson wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

khwilson:monic-geometry-of-numberskhwilson/mathlib4:monic-geometry-of-numbersCopy head branch name to clipboard