src/HOL/BNF_Cardinal_Order_Relation.thy
changeset 57978 8f4a332500e4
parent 56191 159b0c88b4a4
child 58127 b7cab82f488e