Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
FinBoolAlg.iso.mk
Modification history
2022-03-25 00:37
src/order/category/FinBoolAlg.lean
feat(order/category/FinBoolAlg): The category of finite Boolean algebras (#12906) …
Added
FinBoolAlg.iso.mk
View on Github →