mathlib3
afb43923 - feat(linear_algebra/prod): two lemmas about prod_map (#13572)

Commit

3 years ago

feat(linear_algebra/prod): two lemmas about prod_map (#13572) Co-authored-by: antoinelab01 <66086247+antoinelab01@users.noreply.github.com>

Author

antoinelab01

Parents