Theorem Subalgebra.aeval_coe

Modification history

2023-03-13 14:02
Mathlib/RingTheory/Polynomial/Tower.lean
feat: Port RingTheory.Polynomial.Tower (#2840) …
Added Subalgebra.aeval_coeView on Github →