src/ZF/CardinalArith.thy
changeset 12589 afc6ffffeb11
parent 12114 a8e860c86252
child 12667 7e6eaaa125f2