mathlib3

feat (data/list/basic): lemmas about prod and take

#2345

Merged