The limit of a real function at infinity (1990)

by Jarosław Kotowicz
Venue:Journal of Formalized Mathematics
Citations:31 - 6 self