Commit 2025-11-23 18:05 15437521

chore(Algebra/Polynomial/Div): remove commutativity assumption in eq_of_monic_of_dvd_of_natDegree_le (#31833)

• The way dvd is defined means the lemma in the noncommutative case needs to be stated slightly weirdly
• I also golfed the proof