Forcing preserves cardinality relations within each model; what changes is which model we inhabit, n...
This proposition has not been edited since the history system was added.