Theorem is_scalar_tower.aeval_eq_zero_of_aeval_algebra_map_eq_zero_field
Modification history
2022-09-30 23:37
src/ring_theory/polynomial/tower.lean
refactor(ring_theory/polynomial/tower): review APIs (#16678) …
Deleted is_scalar_tower.aeval_eq_zero_of_aeval_algebra_map_eq_zero_fieldView on Github →