src/HOL/Library/Dual_Ordered_Lattice.thy
2 months ago ago proper theory for type of dual ordered lattice in distribution