mathlib
eaec54db - key lemma about evaluation of noncommutative polynomials

Commit

5 years ago

key lemma about evaluation of noncommutative polynomials

Author

kim-em

kim-em

Parents

Loading