Structural isomorphism theorems often make such inferences valid by establishing that A and B preser...
This proposition has not been edited since the history system was added.