Mathlib v3 is deprecated. Go to Mathlib v4

Def fin.elim0'

Modification history

2022-03-29 18:32
src/data/fin/basic.lean
feat(category_theory/abelian): constructor in terms of coimage-image comparison (#12972) …
Added fin.elim0'View on Github →