src/ZF/CardinalArith.ML
changeset 1072 0140ff702b23
parent 989 deb999e33c62
child 1075 848bf2e18dff