mathlib

c726898e - feat(data/equiv/basic): equivalence on functions from bool (#4559)

feat(data/equiv/basic): equivalence on functions from bool (#4559) An equivalence of functions from bool and pairs, together with some simp lemmas about it. Broken off from #4259.