mathlib3
c521336d - feat(data/polynomial/bernstein): identities (#6470)

Commit
4 years ago
feat(data/polynomial/bernstein): identities (#6470) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
Author
Parents
Loading