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