The sum and product of finite sequences of real numbers. (1990)

by Czesław Byliński
Venue:Formalized Mathematics,