Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
FinBddDistLat.dual_equiv
Modification history
2023-05-08 06:19
src/order/category/FinBddDistLat.lean
feat(order/category): Category of finite distributive lattices (#11677) …
Added
FinBddDistLat.dual_equiv
View on Github →