DMCA

Factorial and Newton coefficients (1990)

by Rafał Kwiatek
Venue:Journal of Formalized Mathematics
Citations:85 - 0 self