The transfer principle provides algorithmic, decidable methods for validating infinitesimal argument...
This proposition has not been edited since the history system was added.