Mathlib v3 is deprecated. Go to Mathlib v4

Theorem fin_sum_fin_equiv_symm_last

Modification history

2022-05-27 17:41
src/logic/equiv/fin.lean
feat(model_theory/syntax, semantics): Lemmas about relabeling variables (#14225) …
Added fin_sum_fin_equiv_symm_lastView on Github →