src/HOL/Library/Dual_Ordered_Lattice.thy
3 months ago haftmann 2019-03-14 proper theory for type of dual ordered lattice in distribution