algebra_map): aeval_map (#5843)

Commit

4 years ago

feat(data/polynomial/algebra_map): aeval_map (#5843) Proves `aeval_map`, which relates `aeval` within an `is_scalar_tower`.

Author

tb65536

Parents