mathlib

e68fcf8d - move(data/bool/*): Move `bool` files in one folder (#10718)

move(data/bool/*): Move `bool` files in one folder (#10718) * renames `data.bool` to `data.bool.basic` * renames `data.set.bool` to `data.bool.set` * splits `data.bool.all_any` off `data.list.basic`