src/HOL/Cardinals/Cardinal_Order_Relation.thy
changeset 76371 1ac2416e8432
parent 75624 22d1c5f2b9f4
child 76946 5df58a471d9e