mathlib3
4aa7ac67 - feat(data/mv_polynomial): add `mv_polynomial.linear_map_ext` (#10945)

Commit

4 years ago

feat(data/mv_polynomial): add `mv_polynomial.linear_map_ext` (#10945)

Author

urkud

urkud

Parents

Loading