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 →