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