Cartesian product of functions (1991)

by Grzegorz Bancerek
Venue:Journal of Formalized Mathematics