Commit 2025-09-15 14:52 60ad9614

View on Github →

chore(Algebra/Polynomial/Basic): make some arguments implicit (#29397)

Estimated changes

modified theorem Polynomial.coeff_mem_coeffs
modified theorem Polynomial.coeffs_empty_iff