DMCA

Cartesian product of functions (1991)

by Grzegorz Bancerek
Venue:Journal of Formalized Mathematics
Citations:64 - 22 self