Theorem Polynomial.coeff_toSubring'

Modification history

2023-04-10 18:08
Mathlib/RingTheory/Polynomial/Basic.lean
chore: tidy various files (#3358)
Added Polynomial.coeff_toSubring'View on Github →