Mathlib v3 is deprecated. Go to Mathlib v4

Def equiv.sum_equiv_sigma_bool

Modification history

2020-11-27 06:39
src/data/equiv/basic.lean
doc(data/equiv/basic): improve docstring of `equiv.sum_equiv_sigma_bool` (#5119) …
Modified equiv.sum_equiv_sigma_boolView on Github →
2019-07-11 13:58
src/data/equiv/basic.lean
refactor(*): change priority of \simeq (#1210) …
Modified equiv.sum_equiv_sigma_boolView on Github →
2017-11-23 23:33
data/equiv.lean
feat(data/finset): fintype, multiset.sort, list.pmap
Added equiv.sum_equiv_sigma_boolView on Github →