Theorem Polynomial.isLocalHom_expand

Modification history

2024-10-18 07:51

Mathlib/Algebra/Polynomial/Expand.lean

refactor: rename `IsLocalRingHom` to `IsLocalHom` (#17403) …

Added Polynomial.isLocalHom_expand View on Github →