boolean_ring): Boolean rings (#6464)

Commit

4 years ago

feat(algebra/ring/boolean_ring): Boolean rings (#6464) `boolean_ring.to_boolean_algebra` is the Boolean algebra structure on a Boolean ring.

Author

bryangingechen

Parents