Theorem algebra.adjoin_singleton_eq_range_aeval
Modification history
2021-12-12 15:54
src/data/polynomial/algebra_map.lean
refactor(data/{mv_,}polynomial): lemmas about `adjoin` (#10670) …
Modified algebra.adjoin_singleton_eq_range_aevalView on Github →