proof isomorphism implies elementary equivalence

Printable View