mathlib
0fa056d7 - Template for `prod_eq_zero_iff` and `prod_ne_zero_iff`

Commit

4 years ago

Template for `prod_eq_zero_iff` and `prod_ne_zero_iff`

Author

stuart-presnell

stuart-presnell

Parents

Loading