mathlib3

eb73c357 - docs(order/complete_boolean_algebra): add module docstring, add whitespaces (#8525)