basic): `minpoly` is unaffected by injective `alg_hom`s (#19030)

Commit

2 years ago

feat(field_theory/minpoly/basic): `minpoly` is unaffected by injective `alg_hom`s (#19030)

Author

eric-wieser

Parents