mathlib

8356b798 - feat(logic/basic): a few simp lemmas about `and` and `or` (#2408)