Mathlib v3 is deprecated. Go to Mathlib v4

Def fin_prod_fin_equiv

Modification history

2019-07-11 13:58
src/data/equiv/fin.lean
refactor(*): change priority of \simeq (#1210) …
Modified fin_prod_fin_equivView on Github →
2018-10-17 13:50
data/equiv/fin.lean
feat(data/equiv): equivalences for fin * fin and fin + fin
Added fin_prod_fin_equivView on Github →