Mathlib v3 is deprecated. Go to Mathlib v4

Theorem fin.forall_fin_zero_pi

Modification history

2022-07-08 02:55

src/data/fin/tuple/basic.lean

feat(data/fin/tuple/basic): add lemmas for rewriting exists and forall over `n+1`-tuples (#15048) …

Added fin.forall_fin_zero_pi View on Github →