mathlib3
67dcdef2 - feat(data/mv_polynomial/derivation): derivations of `mv_polynomial`s (#9145)

Commit
3 years ago
feat(data/mv_polynomial/derivation): derivations of `mv_polynomial`s (#9145) Co-authored-by: Eric Wieser <wieser.eric@gmail.com>
Author
Parents
Loading