mathlib

b72811f2 - feat(order/complete_well_founded): characterise well-foundedness for complete lattices (#5575)

feat(order/complete_well_founded): characterise well-foundedness for complete lattices (#5575) Co-authored-by: Rob Lewis <Rob.y.lewis@gmail.com> Co-authored-by: Oliver Nash <github@olivernash.org>