BoolRing): The category of Boolean rings (#12905)

Commit

3 years ago

feat(algebra/category/BoolRing): The category of Boolean rings (#12905) Define `BoolRing`, the category of Boolean rings.

Author

YaelDillies

Parents