mathlib3

4c24a091 - chore(data/fintype/card): add `prod_bool` (#3758)