Commit 2020-10-10 20:25 c726898e
View on Github →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.
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.