Commit 2026-07-18 01:56 ba2ac755

View on Github →

chore(RingTheory/Polynomial/Basic): golf degreeLTEquiv (#39514) Also extracts the monomial i a ∈ degreeLT R n proof to a lemma.

Estimated changes