mathlib3
5b3b71a0 - chore(data/equiv): rename `bool_to_equiv_prod` to `bool_arrow_equiv_prod` (#9333)

Commit

4 years ago

chore(data/equiv): rename `bool_to_equiv_prod` to `bool_arrow_equiv_prod` (#9333) Other changes: * use an explicit definition; * use `@[simps]`.

Author

urkud

Parents