## Binary operations applied to functions (1989)

### Cached

### Download Links

by
Andrzej Trybulec

Venue: | Journal of Formalized Mathematics |

Citations: | 256 - 43 self |