## Basic functions and operations on functions (1989)

### Cached

### Download Links

by
Czesław Byliński

Venue: | Journal of Formalized Mathematics |

Citations: | 113 - 4 self |