basic): add two equivs (#6324)

Commit

4 years ago

feat(data/mv_polynomial/basic): add two equivs (#6324) Two small lemma about `mv_polynomial` as `R`-algebra.

Author

riccardobrasca

Parents