Any abelian group homomorphism from ℤ to another abelian group preserves all universally quantified ...
This proposition has not been edited since the history system was added.