Mathlib v3 is deprecated. Go to Mathlib v4

Theorem prod.exists'

Modification history

2021-01-03 02:24
src/data/prod.lean
chore(data/prod): add `prod.forall'` and `prod.exists'` (#5570) …
Added prod.exists'View on Github →