BoolRing): The equivalence between Boolean rings and Boolean algebras (#15019)

Commit

3 years ago

feat(algebra/category/BoolRing): The equivalence between Boolean rings and Boolean algebras (#15019) as the categorical equivalence `BoolRing ≌ BoolAlg`.

Author

YaelDillies

Parents

b18b71c4

mathlib 67779f73 - feat(algebra/category/BoolRing): The equivalence between Boolean rings and Boolean algebras (#15019)

mathlib
67779f73 - feat(algebra/category/BoolRing): The equivalence between Boolean rings and Boolean algebras (#15019)