mathlib
dac4f18f - feat(data/mv_polynomial): add support_X_pow (#13435)

Commit

3 years ago

feat(data/mv_polynomial): add support_X_pow (#13435) A simple lemma to match the `polynomial` API from flt-regular

Author

alexjbest

Parents