mathlib
d245c4e0 - feat(polynomial/algebra_map): aeval_comp (#5511)

Commit

4 years ago

feat(polynomial/algebra_map): aeval_comp (#5511) Basic lemma about aeval

Author

tb65536

tb65536

Parents

Loading