[formal-methods] Injective, Surjective, and Bijective functions

[d p chang]

d p chang <weasel at meer.net> writes:

> Mikael Vejdemo-Johansson <mik at stanford.edu> writes:
>
>> Suppose 2n = 2m for n,m in Z. Can we conclude that n=m?
>
> yes

and thanks for walking me throhg this.

\p
---
The secret of eternal youth is arrested development.
		- Alice Roosevelt Longworth