mathlib
d93c6a85 - feat(data/vector/basic): induction principles (#9261)

Commit
4 years ago
feat(data/vector/basic): induction principles (#9261) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
Author
Parents
Loading