mathlib
b8b69276 - almost there, but need more from noncommutative polynomials

Commit

5 years ago

almost there, but need more from noncommutative polynomials

Author

kim-em

kim-em

Parents

Loading