Factorial and Newton coefficients (1990)

by Rafa̷l Kwiatek
Venue:Formalized Mathematics