Theorem Polynomial.algHom_ext

Modification history

2023-11-10 09:14

Mathlib/Data/Polynomial/AlgebraMap.lean

feat(Data/Polynomial/AlgebraMap): more results for non-commutative polynomials (#8116) …

Modified Polynomial.algHom_ext View on Github →

2023-03-13 07:16

Mathlib/Data/Polynomial/AlgebraMap.lean

feat: port Data.Polynomial.AlgebraMap (#2822) …

Added Polynomial.algHom_ext View on Github →