Def BoolRing.of

Modification history

2022-03-24 17:30
src/algebra/category/BoolRing.lean
feat(algebra/category/BoolRing): The category of Boolean rings (#12905) …
Added BoolRing.ofView on Github →