mathlib

623c8462 - feat(data/mv_polynomial/variables): add facts about vars and mul (#4149)

feat(data/mv_polynomial/variables): add facts about vars and mul (#4149) More from the Witt vectors branch. Co-authored by: Johan Commelin <johan@commelin.net> Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>