mathlib3

fa226034 - docs(order/boolean_algebra): typo in generalized boolean algebra doc (#14536)