mathlib

44c394bb - feat(data/bool/basic): add several lemmas (#17153)

feat(data/bool/basic): add several lemmas (#17153) Also rename `bool.bnot_false`/`bool.bnot_true` to more predictable names `bool.bnot_ff`/`bool.bnot_tt`.