sequences and basic operations on them (1990)

by Real
Venue:Formalized Mathematics