This file defines BoolRing, the category of Boolean rings.
Finish the equivalence with BoolAlg.
The category of Boolean rings.
Construct a bundled BoolRing from a BooleanRing.
Constructs an isomorphism of Boolean rings from a ring isomorphism between them.
The equivalence between Boolean rings and Boolean algebras. This is actually an isomorphism.