Monotone real sequences. Subsequences (1989)

by Jarosław Kotowicz
Venue:http://mizar.org/JFM/ Vol1/seqm_3.html. FUNCTIONS AND EXISTENCE OF . . . 8