Monotone real sequences. Subsequences (1989)

by Jarosław Kotowicz
Venue:Journal of Formalized Mathematics