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.of'View on Github →