FinBoolAlg): The category of finite Boolean algebras (#12906)

Commit

3 years ago

feat(order/category/FinBoolAlg): The category of finite Boolean algebras (#12906) Define `FinBoolAlg`, the category of finite Boolean algebras.

Author

YaelDillies

Parents