mathlib

48c518de - feat(data/bool/count): new file (#17621)