Mathlib v3 is deprecated. Go to Mathlib v4

Theorem FinBoolAlg_dual_comp_forget_to_FinBddDistLat

Modification history

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