The limit of a real function at infinity. (1991)

by Jarosław Kotowicz
Venue:Formalized Mathematics,