Mathlib v3 is deprecated. Go to Mathlib v4

Def FinBddDistLat.of

Modification history

2023-05-08 06:19
src/order/category/FinBddDistLat.lean
feat(order/category): Category of finite distributive lattices (#11677) …
Added FinBddDistLat.ofView on Github →