mathlib
a26d17fc - feat(mv_polynomial/supported): restrict_to_vars (#12043)

Commit

3 years ago

feat(mv_polynomial/supported): restrict_to_vars (#12043) Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>

Author

robertylewis

Parents