Commit 2022-07-11 02:42 67779f73
View on Github →feat(algebra/category/BoolRing): The equivalence between Boolean rings and Boolean algebras (#15019)
as the categorical equivalence BoolRing ≌ BoolAlg.
feat(algebra/category/BoolRing): The equivalence between Boolean rings and Boolean algebras (#15019)
as the categorical equivalence BoolRing ≌ BoolAlg.