src/HOL/Library/Complete_Partial_Order2.thy
changeset 73301 bfe92e4f6ea4
parent 70961 70fb697be418
child 73411 1f1366966296