mathlib
57a30493 - chore(linear_algebra/prod): add a missing lemma (#18445)

Commit

2 years ago

chore(linear_algebra/prod): add a missing lemma (#18445)

Author

eric-wieser

eric-wieser

Parents

Loading