Mathlib v3 is deprecated. Go to Mathlib v4

Theorem BoundedLattice.forget_SemilatticeSup_PartialOrder_eq_forget_BoundedOrder_PartialOrder

Modification history