Basic functions and operations on functions (1989)

by Czesław Byliński
Venue:Journal of Formalized Mathematics
Citations:112 - 4 self