Commit 2024-08-23 14:42 26df4ca2
View on Github →chore: improve statement of a couple of lemmas about monic polynomials (#16019)
The statement of monic_X_pow_add and monic_X_pow_sub have been changed to have n in the statement instead of n + 1.