mathlib
402e5647 - feat(linear_algebra/prod): linear version of prod_map (#13751)

Commit

3 years ago

feat(linear_algebra/prod): linear version of prod_map (#13751) Co-authored-by: antoinelab01 <66086247+antoinelab01@users.noreply.github.com>

Author

antoinelab01

Parents