mathlib3
81e26435 - feat(order/boolean_algebra): A bounded generalized boolean algebra is a boolean algebra (#15606)

Commit

3 years ago

feat(order/boolean_algebra): A bounded generalized boolean algebra is a boolean algebra (#15606) Abstract the construction of `boolean_algebra (finset α)`.

Author

YaelDillies

Parents

6b93ea7e

mathlib3 81e26435 - feat(order/boolean_algebra): A bounded generalized boolean algebra is a boolean algebra (#15606)

mathlib3
81e26435 - feat(order/boolean_algebra): A bounded generalized boolean algebra is a boolean algebra (#15606)