# Commit 2022-03-24 17:30 2891e1be

View on Github →feat(algebra/category/BoolRing): The category of Boolean rings (#12905)
Define `BoolRing`

, the category of Boolean rings.

Mathlib v3 is deprecated. Go to Mathlib v4

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

, the category of Boolean rings.