mathlib3
0a4fbd8c - chore(data/prod): add `prod.forall'` and `prod.exists'` (#5570)

Commit

5 years ago

chore(data/prod): add `prod.forall'` and `prod.exists'` (#5570) They work a bit better with curried functions.

Author

urkud

Parents