Mathlib v3 is deprecated. Go to Mathlib v4

Def equiv.bool_arrow_equiv_prod

Modification history

2021-09-22 20:20

src/data/equiv/basic.lean

chore(data/equiv): rename `bool_to_equiv_prod` to `bool_arrow_equiv_prod` (#9333) …

Added equiv.bool_arrow_equiv_prod View on Github →