Mathlib v3 is deprecated. Go to Mathlib v4

Theorem fin.snoc_comp_cast_succ

Modification history

2022-03-21 16:35
src/data/fin/tuple/basic.lean
feat(model_theory/terms_and_formulas): Prenex Normal Form (#12558) …
Added fin.snoc_comp_cast_succView on Github →